csgr e636e927e8 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:

1994-07-22 13:17:07 +00:00

..

extern.h

…

kvm_mkdb.8

…

kvm_mkdb.c

…

Makefile

…

nlist.c

The FreeBSD bootloader loads the kernel at the a_entry address in the

1994-07-22 13:17:07 +00:00

testdb.c

…