diff options
| author | Ben Hutchings <ben@decadent.org.uk> | 2019-11-28 04:24:52 +0000 |
|---|---|---|
| committer | Ben Hutchings <ben@decadent.org.uk> | 2019-11-28 04:24:52 +0000 |
| commit | bd82c591cf57ced7f4da8d572bab20d19f0a8357 (patch) | |
| tree | c76ec0bf961d2638743f425da95d01377a40daa9 /debian/config/ia64 | |
| parent | e3cf96b2d1356ddf809b38b7fbbb769bf68bd448 (diff) | |
| download | kernel_replicant_linux-bd82c591cf57ced7f4da8d572bab20d19f0a8357.tar.gz kernel_replicant_linux-bd82c591cf57ced7f4da8d572bab20d19f0a8357.tar.bz2 kernel_replicant_linux-bd82c591cf57ced7f4da8d572bab20d19f0a8357.zip | |
debian/config: Delete settings for SGI SN2 drivers
These drivers are specific to the SGI SN2 (early Altix, Itanium-based)
platform. I have no idea why we had SGI_IOC4 enabled at the top
level.
Diffstat (limited to 'debian/config/ia64')
| -rw-r--r-- | debian/config/ia64/config | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/debian/config/ia64/config b/debian/config/ia64/config index 3c50eab3631d..5ceb05be4566 100644 --- a/debian/config/ia64/config +++ b/debian/config/ia64/config @@ -25,13 +25,6 @@ CONFIG_IA64_PRINT_HAZARDS=y # CONFIG_IA64_DEBUG_IRQ is not set ## -## file: arch/ia64/hp/sim/Kconfig -## -# CONFIG_HP_SIMETH is not set -# CONFIG_HP_SIMSERIAL is not set -# CONFIG_HP_SIMSCSI is not set - -## ## file: block/partitions/Kconfig ## CONFIG_ACORN_PARTITION=y @@ -99,9 +92,6 @@ CONFIG_CDROM_PKTCDVD_BUFFERS=8 ## ## file: drivers/char/Kconfig ## -CONFIG_SGI_SNSC=y -CONFIG_SGI_TIOCX=y -CONFIG_SGI_MBCS=m CONFIG_PRINTER=m # CONFIG_LP_CONSOLE is not set CONFIG_PPDEV=m @@ -121,8 +111,6 @@ CONFIG_AGP=y CONFIG_AGP_I460=y #. Workaround CONFIG_AGP_HP_ZX1=y -#. Workaround -CONFIG_AGP_SGI_TIOCA=y ## ## file: drivers/char/ipmi/Kconfig @@ -268,7 +256,6 @@ CONFIG_BLK_DEV_IDETAPE=m # CONFIG_BLK_DEV_PDC202XX_OLD is not set # CONFIG_BLK_DEV_PDC202XX_NEW is not set # CONFIG_BLK_DEV_SVWKS is not set -CONFIG_BLK_DEV_SGIIOC4=m # CONFIG_BLK_DEV_SIIMAGE is not set # CONFIG_BLK_DEV_SLC90E66 is not set CONFIG_BLK_DEV_TRM290=m @@ -574,7 +561,6 @@ CONFIG_USB_ZD1201=m ## file: drivers/pci/hotplug/Kconfig ## CONFIG_HOTPLUG_PCI=y -CONFIG_HOTPLUG_PCI_SGI=y ## ## file: drivers/pcmcia/Kconfig @@ -627,11 +613,6 @@ CONFIG_PCMCIA_QLOGIC=m CONFIG_PCMCIA_SYM53C500=m ## -## file: drivers/sn/Kconfig -## -CONFIG_SGI_IOC3=m - -## ## file: drivers/staging/isdn/avm/Kconfig ## CONFIG_CAPI_AVM=y @@ -664,10 +645,7 @@ CONFIG_N_HDLC=m ## ## file: drivers/tty/serial/Kconfig ## -CONFIG_SERIAL_SGI_L1_CONSOLE=y CONFIG_SERIAL_JSM=m -CONFIG_SERIAL_SGI_IOC4=m -CONFIG_SERIAL_SGI_IOC3=m ## ## file: drivers/tty/serial/8250/Kconfig |