os_kernel_lab/labcodes_answer/lab5_result/user/faultreadkernel.c

#include <stdio.h>
#include <ulib.h>

int
main(void) {
    cprintf("I read %08x from 0xfac00000!\n", *(unsigned *)0xfac00000);
    panic("FAIL: T.T\n");
}