Deputy turned on. YOU NEED TO UPDATE YOUR IVY
[akaros.git] / kern /
drwxr-xr-x   ..
-rw-r--r-- 7893 COPYRIGHT
-rw-r--r-- 2645 Makefrag
-rw-r--r-- 10414 console.c
-rw-r--r-- 549 console.h
-rw-r--r-- 3440 entry.S
-rw-r--r-- 14321 env.c
-rw-r--r-- 1247 env.h
-rw-r--r-- 4586 init.c
-rw-r--r-- 455 kclock.c
-rw-r--r-- 1214 kclock.h
-rw-r--r-- 7122 kdebug.c
-rw-r--r-- 596 kdebug.h
-rw-r--r-- 1226 kernel.ld
-rw-r--r-- 8391 monitor.c
-rw-r--r-- 878 monitor.h
-rw-r--r-- 37487 pmap.c
-rw-r--r-- 2387 pmap.h
-rw-r--r-- 519 printf.c
-rw-r--r-- 314 sched.h
-rw-r--r-- 2379 syscall.c
-rw-r--r-- 314 syscall.h
-rw-r--r-- 7128 trap.c
-rw-r--r-- 536 trap.h
-rw-r--r-- 2812 trapentry.S