K 10
svn:author
V 6
mjacob
K 8
svn:date
V 27
2000-11-14T08:10:15.000000Z
K 7
svn:log
V 41
move init of booted_kernel to bootinfo.c

END