From ada45c6e52b7d73ade41c588466aede3c69db3d1 Mon Sep 17 00:00:00 2001
From: Philipp Oppermann <dev@phil-opp.com>
Date: Fri, 25 Jan 2019 14:27:31 +0100
Subject: [PATCH] Provoke page fault

---
 src/main.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main.rs b/src/main.rs
index a5173ea9..d6a4c9b9 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -17,6 +17,10 @@ pub extern "C" fn _start() -> ! {
     unsafe { PICS.lock().initialize() };
     x86_64::instructions::interrupts::enable();
 
+    // provoke a page fault
+    let ptr = 0xdeadbeaf as *mut u32;
+    unsafe { *ptr = 42; }
+
     println!("It did not crash!");
     blog_os::hlt_loop();
 }