diff options
| author | kientzle <kientzle@FreeBSD.org> | 2012-10-25 04:10:32 +0000 |
|---|---|---|
| committer | kientzle <kientzle@FreeBSD.org> | 2012-10-25 04:10:32 +0000 |
| commit | c9173cb098489e500d496047df0712b3c250ed16 (patch) | |
| tree | 50d1afbcd0f9d9218c89433b4fa094428e46f33e | |
| parent | 020919fed35dec71c15f859e74cbefa6505e6d3b (diff) | |
| download | FreeBSD-src-c9173cb098489e500d496047df0712b3c250ed16.zip FreeBSD-src-c9173cb098489e500d496047df0712b3c250ed16.tar.gz | |
Support boot loaders in the standard kernel.
| -rw-r--r-- | sys/arm/conf/RPI-B | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/arm/conf/RPI-B b/sys/arm/conf/RPI-B index 43aa80d..374950e 100644 --- a/sys/arm/conf/RPI-B +++ b/sys/arm/conf/RPI-B @@ -30,6 +30,8 @@ options KERNPHYSADDR=0x00100000 makeoptions KERNPHYSADDR=0x00100000 options PHYSADDR=0x00000000 options STARTUP_PAGETABLE_ADDR=0x01000000 +options FREEBSD_BOOT_LOADER +options LINUX_BOOT_ABI makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols options HZ=100 |
