CONFIG_DIGIC=y
CONFIG_SABRELITE=y
CONFIG_EMCRAFT_SF2=y
-
-CONFIG_VGA=y
-CONFIG_IMX_FEC=y
-
-CONFIG_NRF51_SOC=y
-
+CONFIG_MICROBIT=y
CONFIG_FSL_IMX25=y
CONFIG_FSL_IMX7=y
CONFIG_FSL_IMX6UL=y
-
-CONFIG_PCIE_PORT=y
-CONFIG_XIO3130=y
-CONFIG_IOH3420=y
-CONFIG_I82801B11=y
-CONFIG_PCI_EXPRESS_DESIGNWARE=y
+CONFIG_SEMIHOSTING=y