K 10
svn:author
V 4
csgr
K 8
svn:date
V 27
1994-07-22T13:17:07.000000Z
K 7
svn:log
V 229
The FreeBSD bootloader loads the kernel at the a_entry address in the
kernel a.out file, meaning that this is where the kernel starts.
(not at KERNBASE) - KERNBASE is 0xf0000000, while the kernel loads at
0xf0100000
Reviewed by:

END