1 files changed, 0 insertions, 20 deletions
diff --git a/debian.master/config/armhf/config.flavour.highbank b/debian.master/config/armhf/config.flavour.highbank
index 08fc1347ca9..c49352d00a4 100644
--- a/debian.master/config/armhf/config.flavour.highbank
+++ b/debian.master/config/armhf/config.flavour.highbank
@@ -128,25 +128,13 @@ CONFIG_MTD_NAND_IDS=m
 CONFIG_MTD_OF_PARTS=m
 CONFIG_MUSB_PIO_ONLY=y
 CONFIG_MUTEX_SPIN_ON_OWNER=y
-# CONFIG_NETCONSOLE is not set
-# CONFIG_NETPOLL is not set
 CONFIG_NET_CALXEDA_XGMAC=y
 # CONFIG_NET_DMA is not set
-# CONFIG_NET_IPGRE_DEMUX is not set
-# CONFIG_NET_IPIP is not set
-# CONFIG_NET_PKTGEN is not set
-# CONFIG_NET_POLL_CONTROLLER is not set
-# CONFIG_NFC is not set
-# CONFIG_NFSD is not set
 CONFIG_NLS_CODEPAGE_437=m
 CONFIG_NLS_DEFAULT="iso8859-1"
-# CONFIG_NOP_USB_XCEIV is not set
 # CONFIG_OC_ETM is not set
-CONFIG_OPROFILE=y
 # CONFIG_OSF_PARTITION is not set
-# CONFIG_P54_COMMON is not set
 # CONFIG_PARPORT_1284 is not set
-# CONFIG_PARPORT_AX88796 is not set
 # CONFIG_PATA_ARASAN_CF is not set
 # CONFIG_PERF_COUNTERS is not set
 # CONFIG_PHYS_ADDR_T_64BIT is not set
@@ -155,19 +143,12 @@ CONFIG_PL330_DMA=y
 # CONFIG_PMIC_DA903X is not set
 # CONFIG_PM_DEVFREQ is not set
 # CONFIG_PM_RUNTIME is not set
-CONFIG_POWER_SUPPLY=m
-# CONFIG_PPDEV is not set
-CONFIG_PPP=m
 # CONFIG_PPP_FILTER is not set
-# CONFIG_PPP_MPPE is not set
 # CONFIG_PPP_MULTILINK is not set
-# CONFIG_PPS is not set
 CONFIG_PREEMPT=y
 CONFIG_PREEMPT_RCU=y
 # CONFIG_PREEMPT_VOLUNTARY is not set
-# CONFIG_PRINTER is not set
 # CONFIG_PRINTK_TIME is not set
-# CONFIG_PRISM2_USB is not set
 # CONFIG_PSTORE is not set
 # CONFIG_QFMT_V1 is not set
 # CONFIG_QFMT_V2 is not set
@@ -224,7 +205,6 @@ CONFIG_SERIAL_AMBA_PL011=y
 # CONFIG_SERIO_RAW is not set
 CONFIG_SERIO_SERPORT=y
 # CONFIG_SGI_PARTITION is not set
-CONFIG_SLHC=m
 # CONFIG_SMC911X is not set
 # CONFIG_SMC91X is not set
 # CONFIG_SMSC911X is not set