From 0f14b63afb8a3bb2614c744ac853e8c3e557ab04 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Sat, 7 Dec 2013 14:25:35 -0600 Subject: [PATCH] Add board support infrastructure for the pcDuino board. There is not much there on the initial checkin --- arch/arm/src/a1x/Kconfig | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/arch/arm/src/a1x/Kconfig b/arch/arm/src/a1x/Kconfig index e83ac188a95..a3fe07450e5 100644 --- a/arch/arm/src/a1x/Kconfig +++ b/arch/arm/src/a1x/Kconfig @@ -16,4 +16,21 @@ config ARCH_CHIP_A10 endchoice +choice + prompt "Boot device" + default A1X_BOOT_SDCARD + +config A1X_BOOT_NAND + bool "NAND FLASH" + +config A1X_BOOT_SPINOR + bool "SPI NOR FLASH" + +config A1X_BOOT_SDCARD + bool "SD card" + +config A1X_BOOT_USB + bool "USB" + +endchoice # Boot device endif # ARCH_CHIP_A1X