uses MAINBOARD_POWER_ON_AFTER_POWER_FAIL
uses CONFIG_CONSOLE_SERIAL8250
uses HAVE_INIT_TIMER
+uses CONFIG_GDB_STUB
###
### Build options
default CC="gcc"
default HOSTCC="gcc"
+##
+## Disable the gdb stub by default
+##
+default CONFIG_GDB_STUB=0
+
##
## The Serial Console
##