[src/trunk]: src/sys/arch/evbarm/conf Oops. Didn't mean to commit this with p...

[skrll <skrll%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/349eb7bb0d7a
branches:  trunk
changeset: 785039:349eb7bb0d7a
user:      skrll <skrll%NetBSD.org@localhost>
date:      Tue Feb 19 10:58:35 2013 +0000

description:
Oops. Didn't mean to commit this with previous.

diffstat:

 sys/arch/evbarm/conf/std.rpi |  11 ++---------
 1 files changed, 2 insertions(+), 9 deletions(-)

diffs (31 lines):

diff -r b5f8d5002423 -r 349eb7bb0d7a sys/arch/evbarm/conf/std.rpi
--- a/sys/arch/evbarm/conf/std.rpi      Tue Feb 19 10:57:09 2013 +0000
+++ b/sys/arch/evbarm/conf/std.rpi      Tue Feb 19 10:58:35 2013 +0000
@@ -1,4 +1,4 @@
-#      $NetBSD: std.rpi,v 1.5 2013/02/19 10:57:10 skrll Exp $
+#      $NetBSD: std.rpi,v 1.6 2013/02/19 10:58:35 skrll Exp $
 #
 # standard NetBSD/evbarm for Raspberry Pi options
 
@@ -8,20 +8,13 @@
 # Pull in Raspberry Pi config definitions.
 include                "arch/evbarm/conf/files.rpi"
 
-#options       FPU_VFP
-#options       PMAP_NEED_ALLOC_POOLPAGE
-#options       __HAVE_MM_MD_DIRECT_MAPPED_PHYS
-
 options        __HAVE_CPU_COUNTER
 options        __HAVE_FAST_SOFTINTS            # should be in types.h
 options        __HAVE_CPU_UAREA_ALLOC_IDLELWP
 options        TPIDRPRW_IS_CURCPU
+options        KERNEL_BASE_EXT=0xc0000000
 
-# Use the default of 0x8000000 for a test
-options        KERNEL_BASE_EXT=0xc0000000
 options        EVBARM_BOARDTYPE="rpi"
-
-#makeoptions   LOADADDRESS="0xc000c000"
 makeoptions    BOARDMKFRAG="${THISARM}/conf/mk.rpi"
 makeoptions    CPPFLAGS+="-I$S/../../../include"