diff options
Diffstat (limited to 'debian/config/mips/config.r5k-ip32')
| -rw-r--r-- | debian/config/mips/config.r5k-ip32 | 36 |
1 files changed, 16 insertions, 20 deletions
diff --git a/debian/config/mips/config.r5k-ip32 b/debian/config/mips/config.r5k-ip32 index 7d34673262eb..f58fd0bb6ae3 100644 --- a/debian/config/mips/config.r5k-ip32 +++ b/debian/config/mips/config.r5k-ip32 @@ -112,9 +112,6 @@ CONFIG_BLK_DEV_RAM_SIZE=8192 ## ## file: drivers/char/Kconfig ## -CONFIG_VT=y -CONFIG_VT_CONSOLE=y -# CONFIG_SERIAL_NONSTANDARD is not set CONFIG_PRINTER=m # CONFIG_LP_CONSOLE is not set # CONFIG_PPDEV is not set @@ -289,7 +286,6 @@ CONFIG_SERIO_RAW=y ## ## file: drivers/media/radio/Kconfig ## -# CONFIG_RADIO_GEMTEK_PCI is not set # CONFIG_RADIO_MAXIRADIO is not set # CONFIG_RADIO_MAESTRO is not set @@ -467,16 +463,6 @@ CONFIG_AIC7XXX_REG_PRETTY_PRINT=y # CONFIG_SCSI_QLA_FC is not set ## -## file: drivers/serial/Kconfig -## -CONFIG_SERIAL_8250=y -CONFIG_SERIAL_8250_CONSOLE=y -CONFIG_SERIAL_8250_NR_UARTS=4 -CONFIG_SERIAL_8250_RUNTIME_UARTS=4 -# CONFIG_SERIAL_8250_EXTENDED is not set -# CONFIG_SERIAL_JSM is not set - -## ## file: drivers/spi/Kconfig ## CONFIG_SPI=y @@ -484,19 +470,26 @@ CONFIG_SPI_BITBANG=m CONFIG_SPI_BUTTERFLY=m ## -## file: drivers/staging/cpia/Kconfig +## file: drivers/telephony/Kconfig ## -# CONFIG_VIDEO_CPIA is not set +# CONFIG_PHONE is not set ## -## file: drivers/staging/stradis/Kconfig +## file: drivers/tty/Kconfig ## -# CONFIG_VIDEO_STRADIS is not set +CONFIG_VT=y +CONFIG_VT_CONSOLE=y +# CONFIG_SERIAL_NONSTANDARD is not set ## -## file: drivers/telephony/Kconfig +## file: drivers/tty/serial/Kconfig ## -# CONFIG_PHONE is not set +CONFIG_SERIAL_8250=y +CONFIG_SERIAL_8250_CONSOLE=y +CONFIG_SERIAL_8250_NR_UARTS=4 +CONFIG_SERIAL_8250_RUNTIME_UARTS=4 +# CONFIG_SERIAL_8250_EXTENDED is not set +# CONFIG_SERIAL_JSM is not set ## ## file: drivers/usb/Kconfig @@ -683,7 +676,10 @@ CONFIG_SND_KORG1212=m CONFIG_INPUT_SGIO2_BTNS=m # CONFIG_MIPS_ATLAS is not set # CONFIG_MIPS_SEAD is not set +# CONFIG_RADIO_GEMTEK_PCI is not set +# CONFIG_VIDEO_CPIA is not set # CONFIG_VIDEO_OVCAMCHIP is not set # CONFIG_VIDEO_SAA5246A is not set # CONFIG_VIDEO_SAA5249 is not set +# CONFIG_VIDEO_STRADIS is not set |