diff --git a/contrib/board/acme/at91sam9x5_aria/acme-aria_defconfig b/contrib/board/acme/at91sam9x5_aria/acme-aria_defconfig
new file mode 100644
index 0000000..9fbc93f
--- /dev/null
+++ b/contrib/board/acme/at91sam9x5_aria/acme-aria_defconfiga
@@ -0,0 +1,282 @@
+#
+# Automatically generated make config: don't edit
+# Thu Oct 13 19:04:40 2022
+#
+CONFIG_HAVE_DOT_CONFIG=y
+# CONFIG_AT91SAM9260EK is not set
+# CONFIG_AT91SAM9261EK is not set
+# CONFIG_AT91SAM9263EK is not set
+# CONFIG_AT91SAM9RLEK is not set
+# CONFIG_AT91SAM9XEEK is not set
+# CONFIG_AT91SAM9G10EK is not set
+# CONFIG_AT91SAM9G20EK is not set
+# CONFIG_AT91SAM9M10G45EK is not set
+# CONFIG_AT91SAM9X5EK is not set
+# CONFIG_AT91SAM9N12EK is not set
+# CONFIG_SAMA5D3XEK is not set
+# CONFIG_SAMA5D3_XPLAINED is not set
+# CONFIG_SAMA5D3X_CMP is not set
+# CONFIG_SAMA5D4EK is not set
+# CONFIG_SAMA5D4_XPLAINED is not set
+# CONFIG_SAMA5D2_PTC_EK is not set
+# CONFIG_SAMA5D2_XPLAINED is not set
+# CONFIG_SAMA5D27_SOM1_EK is not set
+# CONFIG_SAMA5D27_WLSOM1_EK is not set
+# CONFIG_SAMA5D2_LPDDR2SIP_VB is not set
+# CONFIG_SAMA5D2_ICP is not set
+# CONFIG_SAM9X60EK is not set
+# CONFIG_SAM9X60_DDR2_SIP_EB is not set
+# CONFIG_SAM9X60_SDR_SIP_EB is not set
+# CONFIG_SAMA7G5EK is not set
+# CONFIG_VINCO is not set
+# CONFIG_AT91SAM9G20_FOX is not set
+CONFIG_AT91SAM9X5_ARIA=y
+# CONFIG_AT91SAM9X5_ARIETTA is not set
+# CONFIG_SAMA5D3_ACQUA is not set
+# CONFIG_SAMA5D2_ROADRUNNER is not set
+# CONFIG_CORE9G25 is not set
+# CONFIG_SAMA5D3_LINEA is not set
+# CONFIG_PICOSAM9G45 is not set
+# CONFIG_SAMA5D3_STEPHAN is not set
+CONFIG_BOARDNAME="at91sam9x5_aria"
+CONFIG_AT91SAM9X5=y
+CONFIG_MACH_TYPE="3373"
+# CONFIG_OVERRIDE_MACH_TYPE is not set
+CONFIG_LINK_ADDR="0x300000"
+CONFIG_TOP_OF_MEMORY="0x308000"
+
+#
+# Main Crystal configuration
+#
+CONFIG_CRYSTAL_12_000MHZ=y
+# CONFIG_CRYSTAL_16_000MHZ is not set
+# CONFIG_CRYSTAL_16_36766MHZ is not set
+# CONFIG_CRYSTAL_18_432MHZ is not set
+# CONFIG_CRYSTAL_24_000MHZ is not set
+# CONFIG_MCK_BYPASS is not set
+CONFIG_ALLOW_CRYSTAL_12_000MHZ=y
+CONFIG_CRYSTAL="CRYSTAL_12_000MHZ"
+# CONFIG_CPU_CLK_166MHZ is not set
+# CONFIG_CPU_CLK_180MHZ is not set
+# CONFIG_CPU_CLK_200MHZ is not set
+# CONFIG_CPU_CLK_240MHZ is not set
+# CONFIG_CPU_CLK_266MHZ is not set
+# CONFIG_CPU_CLK_332MHZ is not set
+# CONFIG_CPU_CLK_348MHZ is not set
+# CONFIG_CPU_CLK_396MHZ is not set
+CONFIG_CPU_CLK_400MHZ=y
+# CONFIG_CPU_CLK_444MHZ is not set
+# CONFIG_CPU_CLK_492MHZ is not set
+# CONFIG_CPU_CLK_498MHZ is not set
+# CONFIG_CPU_CLK_510MHZ is not set
+# CONFIG_CPU_CLK_528MHZ is not set
+# CONFIG_CPU_CLK_594MHZ is not set
+# CONFIG_CPU_CLK_600MHZ is not set
+# CONFIG_CPU_CLK_800MHZ is not set
+# CONFIG_CPU_CLK_1000MHZ is not set
+CONFIG_ALLOW_CPU_CLK_400MHZ=y
+# CONFIG_DISABLE_CPU_CLK_240MHZ is not set
+# CONFIG_BUS_SPEED_83MHZ is not set
+# CONFIG_BUS_SPEED_90MHZ is not set
+# CONFIG_BUS_SPEED_100MHZ is not set
+# CONFIG_BUS_SPEED_116MHZ is not set
+# CONFIG_BUS_SPEED_124MHZ is not set
+CONFIG_BUS_SPEED_133MHZ=y
+# CONFIG_BUS_SPEED_148MHZ is not set
+# CONFIG_BUS_SPEED_164MHZ is not set
+# CONFIG_BUS_SPEED_166MHZ is not set
+# CONFIG_BUS_SPEED_170MHZ is not set
+# CONFIG_BUS_SPEED_176MHZ is not set
+# CONFIG_BUS_SPEED_200MHZ is not set
+CONFIG_SUPPORT_BUS_SPEED_100MHZ=y
+CONFIG_SUPPORT_BUS_SPEED_133MHZ=y
+# CONFIG_CPU_HAS_TRUSTZONE is not set
+# CONFIG_CPU_HAS_TZC400 is not set
+# CONFIG_CPU_V7 is not set
+# CONFIG_HAS_PMIC_ACT8865 is not set
+# CONFIG_SUPPORT_PM is not set
+CONFIG_HAS_ONE_WIRE=y
+# CONFIG_HAS_EEPROM is not set
+# CONFIG_HAS_EHT0_PHY is not set
+# CONFIG_HAS_EHT1_PHY is not set
+# CONFIG_HAS_AUDIO_CODEC is not set
+# CONFIG_HAS_HDMI is not set
+CONFIG_CORE_ARM926EJS=y
+# CONFIG_CORE_CORTEX_A5 is not set
+# CONFIG_CORE_CORTEX_A7 is not set
+CONFIG_CPU_HAS_SCKC=y
+# CONFIG_CPU_HAS_H32MXDIV is not set
+CONFIG_CPU_HAS_HSMCI0=y
+CONFIG_CPU_HAS_HSMCI1=y
+# CONFIG_CPU_HAS_HSMCI2 is not set
+# CONFIG_CPU_HAS_MCI0 is not set
+# CONFIG_CPU_HAS_MCI1 is not set
+# CONFIG_CPU_HAS_SDHC0 is not set
+# CONFIG_CPU_HAS_SDHC1 is not set
+# CONFIG_CPU_HAS_SDHC2 is not set
+CONFIG_CPU_HAS_SPI0=y
+CONFIG_CPU_HAS_SPI1=y
+# CONFIG_CPU_HAS_SPI0_IOSET1 is not set
+# CONFIG_CPU_HAS_SPI0_IOSET2 is not set
+# CONFIG_CPU_HAS_SPI1_IOSET1 is not set
+# CONFIG_CPU_HAS_SPI1_IOSET2 is not set
+# CONFIG_CPU_HAS_SPI1_IOSET3 is not set
+# CONFIG_CPU_HAS_QSPI0 is not set
+# CONFIG_CPU_HAS_QSPI1 is not set
+# CONFIG_CPU_HAS_QSPI0_IOSET1 is not set
+# CONFIG_CPU_HAS_QSPI0_IOSET2 is not set
+# CONFIG_CPU_HAS_QSPI0_IOSET3 is not set
+# CONFIG_CPU_HAS_QSPI1_IOSET1 is not set
+# CONFIG_CPU_HAS_QSPI1_IOSET2 is not set
+# CONFIG_CPU_HAS_QSPI1_IOSET3 is not set
+# CONFIG_BOARD_HAS_2_BANKS is not set
+CONFIG_CPU_HAS_SCLK_BYPASS=y
+CONFIG_CPU_HAS_PIO3=y
+# CONFIG_CPU_HAS_L2CC is not set
+CONFIG_CPU_HAS_PMECC=y
+CONFIG_HAS_HW_INFO=y
+# CONFIG_TWI is not set
+# CONFIG_TWI0 is not set
+# CONFIG_TWI1 is not set
+# CONFIG_TWI2 is not set
+# CONFIG_TWI3 is not set
+# CONFIG_MACB is not set
+# CONFIG_AES is not set
+# CONFIG_LOAD_HW_INFO is not set
+CONFIG_CPU_HAS_TWI0=y
+CONFIG_CPU_HAS_TWI1=y
+CONFIG_CPU_HAS_TWI2=y
+# CONFIG_CPU_HAS_TWI3 is not set
+# CONFIG_CPU_HAS_AES is not set
+# CONFIG_CPU_HAS_PIO4 is not set
+# CONFIG_FLEXCOM is not set
+# CONFIG_CPU_HAS_FLEXCOM is not set
+# CONFIG_CPU_HAS_WDT2 is not set
+# CONFIG_CPU_HAS_DWDT is not set
+# CONFIG_CPU_HAS_QSPI_RICR_WICR is not set
+
+#
+# Memory selection
+#
+# CONFIG_SDRAM is not set
+# CONFIG_SDDRC is not set
+CONFIG_DDRC=y
+# CONFIG_UMCTL2 is not set
+# CONFIG_PUBL is not set
+CONFIG_ALLOW_DATAFLASH=y
+# CONFIG_ALLOW_FLASH is not set
+CONFIG_ALLOW_NANDFLASH=y
+CONFIG_ALLOW_SDCARD=y
+# CONFIG_ALLOW_PSRAM is not set
+# CONFIG_ALLOW_SDRAM_16BIT is not set
+
+#
+# RAM Configuration
+#
+# CONFIG_RAM_8MB is not set
+# CONFIG_RAM_32MB is not set
+# CONFIG_RAM_64MB is not set
+CONFIG_RAM_128MB=y
+# CONFIG_RAM_256MB is not set
+# CONFIG_RAM_512MB is not set
+# CONFIG_LPDDR1 is not set
+# CONFIG_LPDDR2 is not set
+# CONFIG_LPDDR3 is not set
+CONFIG_DDR2=y
+# CONFIG_DDR3 is not set
+CONFIG_MEM_BANK="0x20000000"
+# CONFIG_SAMA5D2_LPDDR2 is not set
+# CONFIG_DATAFLASH is not set
+# CONFIG_FLASH is not set
+# CONFIG_NANDFLASH is not set
+CONFIG_SDCARD=y
+CONFIG_MEMORY="sdcard"
+
+#
+# SD Card Configuration
+#
+CONFIG_AT91_MCI=y
+CONFIG_AT91_MCI0=y
+# CONFIG_AT91_MCI1 is not set
+# CONFIG_AT91_MCI2 is not set
+CONFIG_MCI_SLOTA=y
+# CONFIG_MCI_SLOTB is not set
+CONFIG_FATFS=y
+CONFIG_ALLOW_DATAFLASH_RECOVERY=y
+CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS0=y
+# CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS1 is not set
+# CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS2 is not set
+# CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS3 is not set
+CONFIG_ALLOW_NANDFLASH_RECOVERY=y
+CONFIG_BOOTSTRAP_MAXSIZE="23000"
+CONFIG_PROJECT="sdcard"
+# CONFIG_LOAD_UBOOT is not set
+CONFIG_LOAD_LINUX=y
+# CONFIG_LOAD_NONE is not set
+# CONFIG_LOAD_ANDROID is not set
+# CONFIG_LOAD_1MB is not set
+# CONFIG_LOAD_4MB is not set
+# CONFIG_LOAD_64KB is not set
+CONFIG_LINUX_IMAGE=y
+# CONFIG_SKIP_COPY_IMAGE is not set
+
+#
+# Kernel Image Storage Setup
+#
+# CONFIG_OVERRIDE_CMDLINE is not set
+CONFIG_OVERRIDE_CMDLINE_FROM_EXT_FILE=y
+CONFIG_LINUX_KERNEL_ARG_STRING_FILE="cmdline.txt"
+CONFIG_JUMP_ADDR="0x22000000"
+
+#
+# Flattened Device Tree
+#
+CONFIG_OF_LIBFDT=y
+CONFIG_OF_OVERRIDE_DTB_NAME="acme-aria.dtb"
+CONFIG_OF_ADDRESS="0x21000000"
+CONFIG_IMAGE_NAME="zImage"
+CONFIG_DEBUG=y
+CONFIG_DEBUG_INFO=y
+# CONFIG_DEBUG_LOUD is not set
+# CONFIG_DEBUG_VERY_LOUD is not set
+CONFIG_THUMB=y
+CONFIG_DISABLE_WATCHDOG=y
+
+#
+# Hardware Initialization Options
+#
+CONFIG_HW_DISPLAY_BANNER=y
+CONFIG_HW_BANNER="\"\\n\\nAT91Bootstrap \" AT91BOOTSTRAP_VERSION \" (\" COMPILE_TIME \")\\n\\n\""
+CONFIG_HW_INIT=y
+# CONFIG_USER_HW_INIT is not set
+
+#
+# Slow Clock Configuration Options
+#
+CONFIG_SCLK=y
+# CONFIG_SCLK_INTRC is not set
+# CONFIG_SCLK_BYPASS is not set
+# CONFIG_BACKUP_MODE is not set
+# CONFIG_MCP16502 is not set
+
+#
+# Board Hardware Information Options
+#
+# CONFIG_LOAD_ONE_WIRE is not set
+
+#
+# Basic Drivers support
+#
+CONFIG_PIT=y
+CONFIG_WDT=y
+# CONFIG_WDT2 is not set
+CONFIG_RSTC=y
+CONFIG_USART=y
+CONFIG_PIO=y
+CONFIG_PMC_COMMON=y
+CONFIG_PMC_V1=y
+CONFIG_PMC_PERIPH_CLK_SAM9X5=y
+CONFIG_PMC_UTMI_CLK=y
+CONFIG_PMC_PLL_CLK=y
+CONFIG_PMC_MCK_CLK=y
+# CONFIG_SHDWC is not set
diff --git a/contrib/board/acme/at91sam9x5_arietta/acme-arietta_defconfig b/contrib/board/acme/at91sam9x5_arietta/acme-arietta_defconfig
new file mode 100644
index 0000000..9fbc93f
--- /dev/null
+++ b/contrib/board/acme/at91sam9x5_arietta/acme-arietta_defconfig
@@ -0,0 +1,282 @@
+#
+# Automatically generated make config: don't edit
+# Thu Oct 13 19:04:40 2022
+#
+CONFIG_HAVE_DOT_CONFIG=y
+# CONFIG_AT91SAM9260EK is not set
+# CONFIG_AT91SAM9261EK is not set
+# CONFIG_AT91SAM9263EK is not set
+# CONFIG_AT91SAM9RLEK is not set
+# CONFIG_AT91SAM9XEEK is not set
+# CONFIG_AT91SAM9G10EK is not set
+# CONFIG_AT91SAM9G20EK is not set
+# CONFIG_AT91SAM9M10G45EK is not set
+# CONFIG_AT91SAM9X5EK is not set
+# CONFIG_AT91SAM9N12EK is not set
+# CONFIG_SAMA5D3XEK is not set
+# CONFIG_SAMA5D3_XPLAINED is not set
+# CONFIG_SAMA5D3X_CMP is not set
+# CONFIG_SAMA5D4EK is not set
+# CONFIG_SAMA5D4_XPLAINED is not set
+# CONFIG_SAMA5D2_PTC_EK is not set
+# CONFIG_SAMA5D2_XPLAINED is not set
+# CONFIG_SAMA5D27_SOM1_EK is not set
+# CONFIG_SAMA5D27_WLSOM1_EK is not set
+# CONFIG_SAMA5D2_LPDDR2SIP_VB is not set
+# CONFIG_SAMA5D2_ICP is not set
+# CONFIG_SAM9X60EK is not set
+# CONFIG_SAM9X60_DDR2_SIP_EB is not set
+# CONFIG_SAM9X60_SDR_SIP_EB is not set
+# CONFIG_SAMA7G5EK is not set
+# CONFIG_VINCO is not set
+# CONFIG_AT91SAM9G20_FOX is not set
+#CONFIG_AT91SAM9X5_ARIA is not set
+CONFIG_AT91SAM9X5_ARIETTA=y
+# CONFIG_SAMA5D3_ACQUA is not set
+# CONFIG_SAMA5D2_ROADRUNNER is not set
+# CONFIG_CORE9G25 is not set
+# CONFIG_SAMA5D3_LINEA is not set
+# CONFIG_PICOSAM9G45 is not set
+# CONFIG_SAMA5D3_STEPHAN is not set
+CONFIG_BOARDNAME="at91sam9x5_aria"
+CONFIG_AT91SAM9X5=y
+CONFIG_MACH_TYPE="3373"
+# CONFIG_OVERRIDE_MACH_TYPE is not set
+CONFIG_LINK_ADDR="0x300000"
+CONFIG_TOP_OF_MEMORY="0x308000"
+
+#
+# Main Crystal configuration
+#
+CONFIG_CRYSTAL_12_000MHZ=y
+# CONFIG_CRYSTAL_16_000MHZ is not set
+# CONFIG_CRYSTAL_16_36766MHZ is not set
+# CONFIG_CRYSTAL_18_432MHZ is not set
+# CONFIG_CRYSTAL_24_000MHZ is not set
+# CONFIG_MCK_BYPASS is not set
+CONFIG_ALLOW_CRYSTAL_12_000MHZ=y
+CONFIG_CRYSTAL="CRYSTAL_12_000MHZ"
+# CONFIG_CPU_CLK_166MHZ is not set
+# CONFIG_CPU_CLK_180MHZ is not set
+# CONFIG_CPU_CLK_200MHZ is not set
+# CONFIG_CPU_CLK_240MHZ is not set
+# CONFIG_CPU_CLK_266MHZ is not set
+# CONFIG_CPU_CLK_332MHZ is not set
+# CONFIG_CPU_CLK_348MHZ is not set
+# CONFIG_CPU_CLK_396MHZ is not set
+CONFIG_CPU_CLK_400MHZ=y
+# CONFIG_CPU_CLK_444MHZ is not set
+# CONFIG_CPU_CLK_492MHZ is not set
+# CONFIG_CPU_CLK_498MHZ is not set
+# CONFIG_CPU_CLK_510MHZ is not set
+# CONFIG_CPU_CLK_528MHZ is not set
+# CONFIG_CPU_CLK_594MHZ is not set
+# CONFIG_CPU_CLK_600MHZ is not set
+# CONFIG_CPU_CLK_800MHZ is not set
+# CONFIG_CPU_CLK_1000MHZ is not set
+CONFIG_ALLOW_CPU_CLK_400MHZ=y
+# CONFIG_DISABLE_CPU_CLK_240MHZ is not set
+# CONFIG_BUS_SPEED_83MHZ is not set
+# CONFIG_BUS_SPEED_90MHZ is not set
+# CONFIG_BUS_SPEED_100MHZ is not set
+# CONFIG_BUS_SPEED_116MHZ is not set
+# CONFIG_BUS_SPEED_124MHZ is not set
+CONFIG_BUS_SPEED_133MHZ=y
+# CONFIG_BUS_SPEED_148MHZ is not set
+# CONFIG_BUS_SPEED_164MHZ is not set
+# CONFIG_BUS_SPEED_166MHZ is not set
+# CONFIG_BUS_SPEED_170MHZ is not set
+# CONFIG_BUS_SPEED_176MHZ is not set
+# CONFIG_BUS_SPEED_200MHZ is not set
+CONFIG_SUPPORT_BUS_SPEED_100MHZ=y
+CONFIG_SUPPORT_BUS_SPEED_133MHZ=y
+# CONFIG_CPU_HAS_TRUSTZONE is not set
+# CONFIG_CPU_HAS_TZC400 is not set
+# CONFIG_CPU_V7 is not set
+# CONFIG_HAS_PMIC_ACT8865 is not set
+# CONFIG_SUPPORT_PM is not set
+CONFIG_HAS_ONE_WIRE=y
+# CONFIG_HAS_EEPROM is not set
+# CONFIG_HAS_EHT0_PHY is not set
+# CONFIG_HAS_EHT1_PHY is not set
+# CONFIG_HAS_AUDIO_CODEC is not set
+# CONFIG_HAS_HDMI is not set
+CONFIG_CORE_ARM926EJS=y
+# CONFIG_CORE_CORTEX_A5 is not set
+# CONFIG_CORE_CORTEX_A7 is not set
+CONFIG_CPU_HAS_SCKC=y
+# CONFIG_CPU_HAS_H32MXDIV is not set
+CONFIG_CPU_HAS_HSMCI0=y
+CONFIG_CPU_HAS_HSMCI1=y
+# CONFIG_CPU_HAS_HSMCI2 is not set
+# CONFIG_CPU_HAS_MCI0 is not set
+# CONFIG_CPU_HAS_MCI1 is not set
+# CONFIG_CPU_HAS_SDHC0 is not set
+# CONFIG_CPU_HAS_SDHC1 is not set
+# CONFIG_CPU_HAS_SDHC2 is not set
+CONFIG_CPU_HAS_SPI0=y
+CONFIG_CPU_HAS_SPI1=y
+# CONFIG_CPU_HAS_SPI0_IOSET1 is not set
+# CONFIG_CPU_HAS_SPI0_IOSET2 is not set
+# CONFIG_CPU_HAS_SPI1_IOSET1 is not set
+# CONFIG_CPU_HAS_SPI1_IOSET2 is not set
+# CONFIG_CPU_HAS_SPI1_IOSET3 is not set
+# CONFIG_CPU_HAS_QSPI0 is not set
+# CONFIG_CPU_HAS_QSPI1 is not set
+# CONFIG_CPU_HAS_QSPI0_IOSET1 is not set
+# CONFIG_CPU_HAS_QSPI0_IOSET2 is not set
+# CONFIG_CPU_HAS_QSPI0_IOSET3 is not set
+# CONFIG_CPU_HAS_QSPI1_IOSET1 is not set
+# CONFIG_CPU_HAS_QSPI1_IOSET2 is not set
+# CONFIG_CPU_HAS_QSPI1_IOSET3 is not set
+# CONFIG_BOARD_HAS_2_BANKS is not set
+CONFIG_CPU_HAS_SCLK_BYPASS=y
+CONFIG_CPU_HAS_PIO3=y
+# CONFIG_CPU_HAS_L2CC is not set
+CONFIG_CPU_HAS_PMECC=y
+CONFIG_HAS_HW_INFO=y
+# CONFIG_TWI is not set
+# CONFIG_TWI0 is not set
+# CONFIG_TWI1 is not set
+# CONFIG_TWI2 is not set
+# CONFIG_TWI3 is not set
+# CONFIG_MACB is not set
+# CONFIG_AES is not set
+# CONFIG_LOAD_HW_INFO is not set
+CONFIG_CPU_HAS_TWI0=y
+CONFIG_CPU_HAS_TWI1=y
+CONFIG_CPU_HAS_TWI2=y
+# CONFIG_CPU_HAS_TWI3 is not set
+# CONFIG_CPU_HAS_AES is not set
+# CONFIG_CPU_HAS_PIO4 is not set
+# CONFIG_FLEXCOM is not set
+# CONFIG_CPU_HAS_FLEXCOM is not set
+# CONFIG_CPU_HAS_WDT2 is not set
+# CONFIG_CPU_HAS_DWDT is not set
+# CONFIG_CPU_HAS_QSPI_RICR_WICR is not set
+
+#
+# Memory selection
+#
+# CONFIG_SDRAM is not set
+# CONFIG_SDDRC is not set
+CONFIG_DDRC=y
+# CONFIG_UMCTL2 is not set
+# CONFIG_PUBL is not set
+CONFIG_ALLOW_DATAFLASH=y
+# CONFIG_ALLOW_FLASH is not set
+CONFIG_ALLOW_NANDFLASH=y
+CONFIG_ALLOW_SDCARD=y
+# CONFIG_ALLOW_PSRAM is not set
+# CONFIG_ALLOW_SDRAM_16BIT is not set
+
+#
+# RAM Configuration
+#
+# CONFIG_RAM_8MB is not set
+# CONFIG_RAM_32MB is not set
+# CONFIG_RAM_64MB is not set
+CONFIG_RAM_128MB=y
+# CONFIG_RAM_256MB is not set
+# CONFIG_RAM_512MB is not set
+# CONFIG_LPDDR1 is not set
+# CONFIG_LPDDR2 is not set
+# CONFIG_LPDDR3 is not set
+CONFIG_DDR2=y
+# CONFIG_DDR3 is not set
+CONFIG_MEM_BANK="0x20000000"
+# CONFIG_SAMA5D2_LPDDR2 is not set
+# CONFIG_DATAFLASH is not set
+# CONFIG_FLASH is not set
+# CONFIG_NANDFLASH is not set
+CONFIG_SDCARD=y
+CONFIG_MEMORY="sdcard"
+
+#
+# SD Card Configuration
+#
+CONFIG_AT91_MCI=y
+CONFIG_AT91_MCI0=y
+# CONFIG_AT91_MCI1 is not set
+# CONFIG_AT91_MCI2 is not set
+CONFIG_MCI_SLOTA=y
+# CONFIG_MCI_SLOTB is not set
+CONFIG_FATFS=y
+CONFIG_ALLOW_DATAFLASH_RECOVERY=y
+CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS0=y
+# CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS1 is not set
+# CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS2 is not set
+# CONFIG_ALLOW_BOOT_FROM_DATAFLASH_CS3 is not set
+CONFIG_ALLOW_NANDFLASH_RECOVERY=y
+CONFIG_BOOTSTRAP_MAXSIZE="23000"
+CONFIG_PROJECT="sdcard"
+# CONFIG_LOAD_UBOOT is not set
+CONFIG_LOAD_LINUX=y
+# CONFIG_LOAD_NONE is not set
+# CONFIG_LOAD_ANDROID is not set
+# CONFIG_LOAD_1MB is not set
+# CONFIG_LOAD_4MB is not set
+# CONFIG_LOAD_64KB is not set
+CONFIG_LINUX_IMAGE=y
+# CONFIG_SKIP_COPY_IMAGE is not set
+
+#
+# Kernel Image Storage Setup
+#
+# CONFIG_OVERRIDE_CMDLINE is not set
+CONFIG_OVERRIDE_CMDLINE_FROM_EXT_FILE=y
+CONFIG_LINUX_KERNEL_ARG_STRING_FILE="cmdline.txt"
+CONFIG_JUMP_ADDR="0x22000000"
+
+#
+# Flattened Device Tree
+#
+CONFIG_OF_LIBFDT=y
+CONFIG_OF_OVERRIDE_DTB_NAME="acme-arietta.dtb"
+CONFIG_OF_ADDRESS="0x21000000"
+CONFIG_IMAGE_NAME="zImage"
+CONFIG_DEBUG=y
+CONFIG_DEBUG_INFO=y
+# CONFIG_DEBUG_LOUD is not set
+# CONFIG_DEBUG_VERY_LOUD is not set
+CONFIG_THUMB=y
+CONFIG_DISABLE_WATCHDOG=y
+
+#
+# Hardware Initialization Options
+#
+CONFIG_HW_DISPLAY_BANNER=y
+CONFIG_HW_BANNER="\"\\n\\nAT91Bootstrap \" AT91BOOTSTRAP_VERSION \" (\" COMPILE_TIME \")\\n\\n\""
+CONFIG_HW_INIT=y
+# CONFIG_USER_HW_INIT is not set
+
+#
+# Slow Clock Configuration Options
+#
+CONFIG_SCLK=y
+# CONFIG_SCLK_INTRC is not set
+# CONFIG_SCLK_BYPASS is not set
+# CONFIG_BACKUP_MODE is not set
+# CONFIG_MCP16502 is not set
+
+#
+# Board Hardware Information Options
+#
+# CONFIG_LOAD_ONE_WIRE is not set
+
+#
+# Basic Drivers support
+#
+CONFIG_PIT=y
+CONFIG_WDT=y
+# CONFIG_WDT2 is not set
+CONFIG_RSTC=y
+CONFIG_USART=y
+CONFIG_PIO=y
+CONFIG_PMC_COMMON=y
+CONFIG_PMC_V1=y
+CONFIG_PMC_PERIPH_CLK_SAM9X5=y
+CONFIG_PMC_UTMI_CLK=y
+CONFIG_PMC_PLL_CLK=y
+CONFIG_PMC_MCK_CLK=y
+# CONFIG_SHDWC is not set