From 398ba7a424e43b5473dedd1aa2a1ab515ba63bfe Mon Sep 17 00:00:00 2001
From: Philipp Oppermann <dev@phil-opp.com>
Date: Wed, 3 Aug 2016 14:44:39 +0200
Subject: [PATCH] Provoke a page fault

---
 src/lib.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index 8f4dee39..70bd0c0b 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -53,6 +53,9 @@ pub extern "C" fn rust_main(multiboot_information_address: usize) {
     // initialize our IDT
     interrupts::init();
 
+    // provoke a page fault
+    unsafe { *(0xdeadbeaf as *mut u64) = 42 };
+
     fn divide_by_zero() {
         unsafe { asm!("mov dx, 0; div dx" ::: "ax", "dx" : "volatile", "intel") }
     }