os_kernel_lab/related_info/lab5/lab5-spoc-discuss/user/faultreadkernel.c

10 lines
156 B
C
Raw Normal View History

2015-04-20 12:44:41 +08:00
#include <stdio.h>
#include <ulib.h>
int
main(void) {
cprintf("I read %08x from 0xfac00000!\n", *(unsigned *)0xfac00000);
panic("FAIL: T.T\n");
}