tests/faultreadkernel.c

   1 // buggy program - faults with a read from kernel space
   2
   3 #include <rstdio.h>
   4
   5 int main(int argc, char** argv)
   6 {
   7         printf("I read %08x from location 0xf0100000!\n", *(unsigned*)0xf0100000);
   8         return 0;
   9 }
  10