os_kernel_lab/code/lab7/user/faultread.c

10 lines
141 B
C
Raw Normal View History

2012-08-22 12:32:13 +08:00
#include <stdio.h>
#include <ulib.h>
int
main(void) {
cprintf("I read %8x from 0.\n", *(unsigned int *)0);
panic("FAIL: T.T\n");
}