OSDI Microbenchmarks
[akaros.git] / tests / faultreadkernel.c
index cef359f..5188378 100644 (file)
@@ -1,6 +1,6 @@
 // buggy program - faults with a read from kernel space
 
-#include <stdio.h>
+#include <rstdio.h>
 
 int main(int argc, char** argv)
 {