K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2010-10-18T04:30:27.141433Z
K 7
svn:log
V 166
Rename boot() to kern_reboot() and make it visible outside of
kern_shutdown.c. This makes it easier for emulators and other
parts of the kernel to initiate a reboot.

END