* more re-work

[mascara-docs.git] / i386 / junos / MIT / course / src / src.lab / user / faultreadkernel.c

// buggy program - faults with a read from kernel space

#include <inc/lib.h>

void
umain(int argc, char **argv)
{
        cprintf("I read %08x from location 0xf0100000!\n", *(unsigned*)0xf0100000);
}