From f67baa4d6bbfef6dadb2781f8246d719427f4e5c Mon Sep 17 00:00:00 2001
From: Olivier Houchard <cognet@FreeBSD.org>
Date: Thu, 23 Sep 2004 22:53:50 +0000
Subject: [PATCH] Use the new KERNVIRTADDR and PHYSADDR options. Add KDB.

---
 sys/arm/conf/SIMICS | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sys/arm/conf/SIMICS b/sys/arm/conf/SIMICS
index 6a3c0c281c8..51efa148767 100644
--- a/sys/arm/conf/SIMICS
+++ b/sys/arm/conf/SIMICS
@@ -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