diff --git a/sys/arm/conf/EP80219 b/sys/arm/conf/EP80219 index 8ce5b1644180..44fe2621ca25 100644 --- a/sys/arm/conf/EP80219 +++ b/sys/arm/conf/EP80219 @@ -28,6 +28,7 @@ options STARTUP_PAGETABLE_ADDR=0xa0000000 include "../xscale/i80321/std.ep80219" #To statically compile in device wiring instead of /boot/device.hints #hints "GENERIC.hints" #Default places to look for devices. +makeoptions MODULES_OVERRIDE="" makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols makeoptions CONF_CFLAGS=-mcpu=xscale diff --git a/sys/arm/conf/HL200 b/sys/arm/conf/HL200 index 0a43ab2b18ea..b0fc9b691986 100644 --- a/sys/arm/conf/HL200 +++ b/sys/arm/conf/HL200 @@ -23,6 +23,7 @@ include "../at91/std.hl200" #To statically compile in device wiring instead of /boot/device.hints hints "KB920X.hints" +makeoptions MODULES_OVERRIDE="" makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols options DDB diff --git a/sys/arm/conf/IQ31244 b/sys/arm/conf/IQ31244 index 411b97d94a97..d3c225bc8d51 100644 --- a/sys/arm/conf/IQ31244 +++ b/sys/arm/conf/IQ31244 @@ -29,6 +29,7 @@ options STARTUP_PAGETABLE_ADDR=0xa0000000 include "../xscale/i80321/std.iq31244" #To statically compile in device wiring instead of /boot/device.hints #hints "GENERIC.hints" #Default places to look for devices. +makeoptions MODULES_OVERRIDE="" #makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols makeoptions CONF_CFLAGS=-mcpu=xscale