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

#include <inc/lib.h>

void
umain(void)
{
	printf("I read %08x from location 0xf0100000!\n",
		*(u_int*)0xf0100000);
}