Use the new KERNVIRTADDR and PHYSADDR options.

Add KDB.
This commit is contained in:
Olivier Houchard 2004-09-23 22:53:50 +00:00
parent 107d4bd621
commit f67baa4d6b

View file

@ -21,6 +21,8 @@ machine arm
ident SIMICS
options KERNPHYSADDR=0xc0000000
options KERNVIRTADDR=0xc0000000
options PHYSADDR=0xc0000000
include "../sa11x0/std.sa11x0"
#To statically compile in device wiring instead of /boot/device.hints
#hints "GENERIC.hints" #Default places to look for devices.
@ -28,6 +30,7 @@ include "../sa11x0/std.sa11x0"
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
makeoptions CONF_CFLAGS=-mcpu=strongarm
options DDB
options KDB
options SCHED_4BSD #4BSD scheduler
options INET #InterNETworking