tests/faultwritekernel.c

   1 // buggy program - faults with a write to a kernel location
   2
   3
   4 int main(int argc, char** argv)
   5 {
   6         *(unsigned*)0xf0100000 = 0;
   7         return 0;
   8 }
   9