12 lines
199 B
C
12 lines
199 B
C
|
// buggy hello world -- unmapped pointer passed to kernel
|
||
|
// kernel should destroy user environment in response
|
||
|
|
||
|
#include <inc/lib.h>
|
||
|
|
||
|
void
|
||
|
umain(int argc, char **argv)
|
||
|
{
|
||
|
sys_cputs((char*)1, 1);
|
||
|
}
|
||
|
|