christos e5ba6e8033 make sure kernel is initialized properly.		2014-02-14 16:04:44 +00:00
..
boot.c	make sure kernel is initialized properly.	2014-02-14 16:04:44 +00:00
bootinfo.c
bootinfo.h
bootxx.c
callvec.c
checksize.sh
common.h
conf.c
devopen.c
prom.S
saio.c
saio.h
start.S