Power off on kernel panic.
[pintos-anon] / src / userprog /
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 89 Make.vars
-rw-r--r-- 27 Makefile
drwxr-xr-x - build
-rw-r--r-- 6354 exception.c
-rw-r--r-- 157 exception.h
-rw-r--r-- 4990 gdt.c
-rw-r--r-- 442 gdt.h
-rw-r--r-- 5176 pagedir.c
-rw-r--r-- 608 pagedir.h
-rw-r--r-- 12701 process.c
-rw-r--r-- 219 process.h
-rw-r--r-- 390 syscall.c
-rw-r--r-- 114 syscall.h
-rw-r--r-- 3412 tss.c
-rw-r--r-- 190 tss.h