diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/config/ia64/config | 740 | ||||
| -rw-r--r-- | debian/config/ia64/config.itanium | 10 | ||||
| -rw-r--r-- | debian/config/ia64/config.mckinley | 10 |
3 files changed, 0 insertions, 760 deletions
diff --git a/debian/config/ia64/config b/debian/config/ia64/config deleted file mode 100644 index 43907d7e6c..0000000000 --- a/debian/config/ia64/config +++ /dev/null @@ -1,740 +0,0 @@ -## -## file: arch/ia64/Kconfig -## -CONFIG_HOTPLUG_CPU=y -CONFIG_SCHED_SMT=y -CONFIG_PERMIT_BSP_REMOVE=y -CONFIG_NODES_SHIFT=8 -CONFIG_IA64_MCA_RECOVERY=y -CONFIG_IA64_PALINFO=m -CONFIG_MSPEC=m - -## -## file: arch/ia64/Kconfig.debug -## -## choice: Physical memory granularity -CONFIG_IA64_GRANULE_16MB=y -# CONFIG_IA64_GRANULE_64MB is not set -## end choice -CONFIG_IA64_PRINT_HAZARDS=y -# CONFIG_DISABLE_VHPT is not set -# CONFIG_IA64_DEBUG_CMPXCHG is not set -# CONFIG_IA64_DEBUG_IRQ is not set - -## -## file: block/partitions/Kconfig -## -CONFIG_ACORN_PARTITION=y -# CONFIG_ACORN_PARTITION_CUMANA is not set -CONFIG_ACORN_PARTITION_EESOX=y -CONFIG_ACORN_PARTITION_ICS=y -CONFIG_ACORN_PARTITION_ADFS=y -CONFIG_ACORN_PARTITION_POWERTEC=y -CONFIG_ACORN_PARTITION_RISCIX=y -CONFIG_OSF_PARTITION=y -CONFIG_AMIGA_PARTITION=y -CONFIG_ATARI_PARTITION=y -CONFIG_MAC_PARTITION=y -CONFIG_BSD_DISKLABEL=y -CONFIG_MINIX_SUBPARTITION=y -CONFIG_SOLARIS_X86_PARTITION=y -CONFIG_UNIXWARE_DISKLABEL=y -CONFIG_LDM_PARTITION=y -CONFIG_LDM_DEBUG=y -CONFIG_SGI_PARTITION=y -CONFIG_ULTRIX_PARTITION=y -CONFIG_SUN_PARTITION=y - -## -## file: crypto/Kconfig -## -CONFIG_CRYPTO_ZSTD=y - -## -## file: drivers/acpi/Kconfig -## -CONFIG_ACPI_DOCK=y -CONFIG_ACPI_PCI_SLOT=y -CONFIG_ACPI_CONTAINER=y - -## -## file: drivers/ata/Kconfig -## -CONFIG_PATA_ALI=m -CONFIG_PATA_AMD=m -CONFIG_PATA_CMD64X=m -CONFIG_PATA_CS5520=m -CONFIG_PATA_EFAR=m -CONFIG_PATA_HPT366=m -CONFIG_PATA_HPT37X=m -CONFIG_PATA_NETCELL=m -CONFIG_PATA_NS87415=m -CONFIG_PATA_OLDPIIX=m -CONFIG_PATA_PDC2027X=m -CONFIG_PATA_PDC_OLD=m -CONFIG_PATA_SC1200=m -CONFIG_PATA_SERVERWORKS=m -CONFIG_PATA_SIL680=m -CONFIG_PATA_TRIFLEX=m -CONFIG_PATA_VIA=m -CONFIG_PATA_MPIIX=m -CONFIG_PATA_NS87410=m -CONFIG_PATA_OPTI=m -CONFIG_PATA_LEGACY=m - -## -## file: drivers/block/Kconfig -## -CONFIG_CDROM_PKTCDVD=m -CONFIG_CDROM_PKTCDVD_BUFFERS=8 -# CONFIG_CDROM_PKTCDVD_WCACHE is not set - -## -## file: drivers/char/Kconfig -## -CONFIG_PRINTER=m -# CONFIG_LP_CONSOLE is not set -CONFIG_PPDEV=m -CONFIG_DTLK=m -CONFIG_APPLICOM=m -CONFIG_HPET=y -# CONFIG_HPET_MMAP is not set - -## -## file: drivers/char/agp/Kconfig -## -#. Workaround -CONFIG_AGP=y -#. Workaround -CONFIG_AGP_I460=y -#. Workaround -CONFIG_AGP_HP_ZX1=y - -## -## file: drivers/char/ipmi/Kconfig -## -CONFIG_IPMI_HANDLER=m -# CONFIG_IPMI_PANIC_EVENT is not set -CONFIG_IPMI_DEVICE_INTERFACE=m -CONFIG_IPMI_SI=m -CONFIG_IPMI_WATCHDOG=m -CONFIG_IPMI_POWEROFF=m - -## -## file: drivers/cpufreq/Kconfig -## -CONFIG_IA64_ACPI_CPUFREQ=m - -## -## file: drivers/firmware/Kconfig -## -CONFIG_DMIID=y - -## -## file: drivers/gpu/drm/Kconfig -## -CONFIG_DRM=m - -## -## file: drivers/gpu/drm/i2c/Kconfig -## -CONFIG_DRM_I2C_CH7006=m -CONFIG_DRM_I2C_SIL164=m - -## -## file: drivers/gpu/drm/nouveau/Kconfig -## -CONFIG_DRM_NOUVEAU=m -# CONFIG_DRM_NOUVEAU_BACKLIGHT is not set - -## -## file: drivers/gpu/drm/radeon/Kconfig -## -CONFIG_DRM_RADEON=m - -## -## file: drivers/hid/usbhid/Kconfig -## -CONFIG_USB_HID=m -# CONFIG_HID_PID is not set - -## -## file: drivers/hwmon/Kconfig -## -CONFIG_SENSORS_ADM1021=m -CONFIG_SENSORS_ADM1025=m -CONFIG_SENSORS_ADM1026=m -CONFIG_SENSORS_ADM1031=m -CONFIG_SENSORS_ASB100=m -CONFIG_SENSORS_DS1621=m -CONFIG_SENSORS_F71805F=m -CONFIG_SENSORS_GL518SM=m -CONFIG_SENSORS_GL520SM=m -CONFIG_SENSORS_IT87=m -CONFIG_SENSORS_MAX1619=m -CONFIG_SENSORS_LM63=m -CONFIG_SENSORS_LM75=m -CONFIG_SENSORS_LM77=m -CONFIG_SENSORS_LM78=m -CONFIG_SENSORS_LM80=m -CONFIG_SENSORS_LM83=m -CONFIG_SENSORS_LM85=m -CONFIG_SENSORS_LM87=m -CONFIG_SENSORS_LM90=m -CONFIG_SENSORS_LM92=m -CONFIG_SENSORS_PC87360=m -CONFIG_SENSORS_PCF8591=m -CONFIG_SENSORS_SIS5595=m -CONFIG_SENSORS_SMSC47M1=m -CONFIG_SENSORS_SMSC47B397=m -CONFIG_SENSORS_VIA686A=m -CONFIG_SENSORS_W83781D=m -CONFIG_SENSORS_W83L785TS=m -CONFIG_SENSORS_W83627HF=m - -## -## file: drivers/i2c/Kconfig -## -CONFIG_I2C=m -CONFIG_I2C_CHARDEV=m -CONFIG_I2C_STUB=m -# CONFIG_I2C_DEBUG_CORE is not set -# CONFIG_I2C_DEBUG_ALGO is not set -# CONFIG_I2C_DEBUG_BUS is not set - -## -## file: drivers/i2c/busses/Kconfig -## -CONFIG_I2C_ALI1535=m -CONFIG_I2C_ALI1563=m -CONFIG_I2C_ALI15X3=m -CONFIG_I2C_AMD756=m -CONFIG_I2C_AMD756_S4882=m -CONFIG_I2C_AMD8111=m -CONFIG_I2C_I801=m -CONFIG_I2C_PIIX4=m -CONFIG_I2C_NFORCE2=m -CONFIG_I2C_SIS5595=m -CONFIG_I2C_SIS630=m -CONFIG_I2C_SIS96X=m -CONFIG_I2C_VIA=m -CONFIG_I2C_VIAPRO=m -CONFIG_I2C_PARPORT=m -CONFIG_I2C_PCA_ISA=m -CONFIG_SCx200_ACB=m - -## -## file: drivers/input/gameport/Kconfig -## -CONFIG_GAMEPORT=m -CONFIG_GAMEPORT_NS558=m -CONFIG_GAMEPORT_L4=m -CONFIG_GAMEPORT_EMU10K1=m -CONFIG_GAMEPORT_FM801=m - -## -## file: drivers/input/keyboard/Kconfig -## -CONFIG_INPUT_KEYBOARD=y -CONFIG_KEYBOARD_ATKBD=y -CONFIG_KEYBOARD_LKKBD=m -CONFIG_KEYBOARD_NEWTON=m -CONFIG_KEYBOARD_SUNKBD=m -CONFIG_KEYBOARD_XTKBD=m - -## -## file: drivers/input/misc/Kconfig -## -CONFIG_INPUT_MISC=y -CONFIG_INPUT_UINPUT=m - -## -## file: drivers/input/mouse/Kconfig -## -CONFIG_INPUT_MOUSE=y -CONFIG_MOUSE_PS2=m -CONFIG_MOUSE_SERIAL=m -CONFIG_MOUSE_VSXXXAA=m - -## -## file: drivers/input/serio/Kconfig -## -CONFIG_SERIO=y -CONFIG_SERIO_I8042=y -CONFIG_SERIO_SERPORT=m -CONFIG_SERIO_PARKBD=m -CONFIG_SERIO_PCIPS2=m -CONFIG_SERIO_LIBPS2=y -CONFIG_SERIO_RAW=m - -## -## file: drivers/input/touchscreen/Kconfig -## -# CONFIG_INPUT_TOUCHSCREEN is not set - -## -## file: drivers/isdn/Kconfig -## -CONFIG_ISDN=y - -## -## file: drivers/media/radio/Kconfig -## -CONFIG_RADIO_MAXIRADIO=m -CONFIG_USB_DSBR=m - -## -## file: drivers/mmc/Kconfig -## -CONFIG_MMC=m - -## -## file: drivers/mmc/core/Kconfig -## -CONFIG_MMC_BLOCK=m - -## -## file: drivers/mmc/host/Kconfig -## -# CONFIG_MMC_DEBUG is not set - -## -## file: drivers/net/Kconfig -## -CONFIG_NET_FC=y -CONFIG_NET_SB1000=m - -## -## file: drivers/net/arcnet/Kconfig -## -CONFIG_ARCNET=m -CONFIG_ARCNET_1201=m -CONFIG_ARCNET_1051=m -CONFIG_ARCNET_RAW=m -CONFIG_ARCNET_CAP=m -CONFIG_ARCNET_COM90xx=m -CONFIG_ARCNET_COM90xxIO=m -CONFIG_ARCNET_RIM_I=m -CONFIG_ARCNET_COM20020=m -CONFIG_ARCNET_COM20020_PCI=m -CONFIG_ARCNET_COM20020_CS=m - -## -## file: drivers/net/ethernet/3com/Kconfig -## -CONFIG_NET_VENDOR_3COM=y -CONFIG_PCMCIA_3C574=m -CONFIG_PCMCIA_3C589=m -CONFIG_VORTEX=m -CONFIG_TYPHOON=m - -## -## file: drivers/net/ethernet/8390/Kconfig -## -CONFIG_PCMCIA_AXNET=m -CONFIG_NE2K_PCI=m -CONFIG_PCMCIA_PCNET=m - -## -## file: drivers/net/ethernet/adaptec/Kconfig -## -CONFIG_ADAPTEC_STARFIRE=m - -## -## file: drivers/net/ethernet/amd/Kconfig -## -CONFIG_AMD8111_ETH=m -CONFIG_PCMCIA_NMCLAN=m - -## -## file: drivers/net/ethernet/broadcom/Kconfig -## -CONFIG_B44=m - -## -## file: drivers/net/ethernet/dec/tulip/Kconfig -## -CONFIG_NET_TULIP=y -CONFIG_DE2104X=m -CONFIG_TULIP=m -# CONFIG_TULIP_MWI is not set -# CONFIG_TULIP_MMIO is not set -CONFIG_WINBOND_840=m -CONFIG_DM9102=m -CONFIG_PCMCIA_XIRCOM=m - -## -## file: drivers/net/ethernet/dlink/Kconfig -## -CONFIG_SUNDANCE=m -# CONFIG_SUNDANCE_MMIO is not set - -## -## file: drivers/net/ethernet/fujitsu/Kconfig -## -CONFIG_PCMCIA_FMVJ18X=m - -## -## file: drivers/net/ethernet/intel/Kconfig -## -CONFIG_E100=m - -## -## file: drivers/net/ethernet/natsemi/Kconfig -## -CONFIG_NATSEMI=m - -## -## file: drivers/net/ethernet/nvidia/Kconfig -## -CONFIG_FORCEDETH=m - -## -## file: drivers/net/ethernet/realtek/Kconfig -## -CONFIG_8139CP=m -CONFIG_8139TOO=m -# CONFIG_8139TOO_PIO is not set -# CONFIG_8139TOO_TUNE_TWISTER is not set -# CONFIG_8139TOO_8129 is not set -# CONFIG_8139_OLD_RX_RESET is not set - -## -## file: drivers/net/ethernet/sis/Kconfig -## -CONFIG_SIS900=m - -## -## file: drivers/net/ethernet/smsc/Kconfig -## -CONFIG_PCMCIA_SMC91C92=m -CONFIG_EPIC100=m - -## -## file: drivers/net/ethernet/via/Kconfig -## -CONFIG_VIA_RHINE=m -# CONFIG_VIA_RHINE_MMIO is not set - -## -## file: drivers/net/ethernet/xircom/Kconfig -## -CONFIG_PCMCIA_XIRC2PS=m - -## -## file: drivers/net/fddi/Kconfig -## -CONFIG_FDDI=y -CONFIG_SKFP=m - -## -## file: drivers/net/hippi/Kconfig -## -# CONFIG_HIPPI is not set - -## -## file: drivers/net/plip/Kconfig -## -CONFIG_PLIP=m - -## -## file: drivers/net/wan/Kconfig -## -CONFIG_WAN=y -CONFIG_PCI200SYN=m -CONFIG_WANXL=m -CONFIG_FARSYNC=m - -## -## file: drivers/net/wireless/atmel/Kconfig -## -CONFIG_ATMEL=m -CONFIG_PCI_ATMEL=m -CONFIG_PCMCIA_ATMEL=m - -## -## file: drivers/net/wireless/cisco/Kconfig -## -CONFIG_AIRO_CS=m - -## -## file: drivers/net/wireless/intel/ipw2x00/Kconfig -## -CONFIG_IPW2100=m -CONFIG_IPW2100_MONITOR=y - -## -## file: drivers/net/wireless/intersil/orinoco/Kconfig -## -CONFIG_HERMES=m -CONFIG_PLX_HERMES=m -CONFIG_TMD_HERMES=m -CONFIG_PCI_HERMES=m -CONFIG_PCMCIA_HERMES=m -CONFIG_PCMCIA_SPECTRUM=m - -## -## file: drivers/net/wireless/legacy/Kconfig -## -CONFIG_PCMCIA_RAYCS=m -CONFIG_PCMCIA_WL3501=m - -## -## file: drivers/net/wireless/marvell/mwifiex/Kconfig -## -CONFIG_MWIFIEX=m -CONFIG_MWIFIEX_SDIO=m -CONFIG_MWIFIEX_PCIE=m - -## -## file: drivers/net/wireless/zydas/Kconfig -## -CONFIG_USB_ZD1201=m - -## -## file: drivers/pci/hotplug/Kconfig -## -CONFIG_HOTPLUG_PCI=y - -## -## file: drivers/pcmcia/Kconfig -## -CONFIG_PCCARD=m -CONFIG_PCMCIA=m -CONFIG_CARDBUS=y -CONFIG_YENTA=m -CONFIG_PD6729=m -CONFIG_I82092=m - -## -## file: drivers/rtc/Kconfig -## -CONFIG_RTC_DRV_EFI=y - -## -## file: drivers/scsi/Kconfig -## -CONFIG_SCSI_ARCMSR=m -CONFIG_SCSI_MYRB=m -CONFIG_SCSI_MYRS=m -CONFIG_SCSI_DMX3191D=m -CONFIG_SCSI_IPS=m -CONFIG_SCSI_INITIO=m -CONFIG_SCSI_INIA100=m -CONFIG_SCSI_SYM53C8XX_2=m -CONFIG_SCSI_SYM53C8XX_DMA_ADDRESSING_MODE=1 -CONFIG_SCSI_SYM53C8XX_DEFAULT_TAGS=16 -CONFIG_SCSI_SYM53C8XX_MAX_TAGS=64 -CONFIG_SCSI_IPR=m -CONFIG_SCSI_IPR_TRACE=y -CONFIG_SCSI_IPR_DUMP=y -CONFIG_SCSI_QLOGIC_1280=m -CONFIG_SCSI_DC395x=m -CONFIG_SCSI_AM53C974=m - -## -## file: drivers/scsi/megaraid/Kconfig.megaraid -## -CONFIG_MEGARAID_NEWGEN=y -CONFIG_MEGARAID_MM=m -CONFIG_MEGARAID_MAILBOX=m -CONFIG_MEGARAID_LEGACY=m - -## -## file: drivers/scsi/pcmcia/Kconfig -## -CONFIG_PCMCIA_QLOGIC=m -CONFIG_PCMCIA_SYM53C500=m - -## -## file: drivers/staging/wlan-ng/Kconfig -## -# CONFIG_PRISM2_USB is not set - -## -## file: drivers/tty/Kconfig -## -CONFIG_VT=y -CONFIG_VT_CONSOLE=y -CONFIG_SERIAL_NONSTANDARD=y -CONFIG_MOXA_INTELLIO=m -# CONFIG_MOXA_SMARTIO is not set -CONFIG_N_HDLC=m - -## -## file: drivers/tty/serial/Kconfig -## -CONFIG_SERIAL_JSM=m - -## -## file: drivers/tty/serial/8250/Kconfig -## -CONFIG_SERIAL_8250=y -CONFIG_SERIAL_8250_CONSOLE=y -CONFIG_SERIAL_8250_CS=m -CONFIG_SERIAL_8250_NR_UARTS=32 -CONFIG_SERIAL_8250_RUNTIME_UARTS=4 -CONFIG_SERIAL_8250_EXTENDED=y -CONFIG_SERIAL_8250_SHARE_IRQ=y -# CONFIG_SERIAL_8250_DETECT_IRQ is not set -CONFIG_SERIAL_8250_RSA=y - -## -## file: drivers/usb/Kconfig -## -CONFIG_USB=m - -## -## file: drivers/usb/host/Kconfig -## -CONFIG_USB_EHCI_HCD=m -CONFIG_USB_OHCI_HCD=m -CONFIG_USB_UHCI_HCD=m -CONFIG_USB_SL811_HCD=m -CONFIG_USB_SL811_CS=m - -## -## file: drivers/usb/misc/Kconfig -## -CONFIG_USB_USS720=m - -## -## file: drivers/video/console/Kconfig -## -CONFIG_VGA_CONSOLE=y -CONFIG_FRAMEBUFFER_CONSOLE=y - -## -## file: drivers/video/fbdev/Kconfig -## -CONFIG_FB=y -CONFIG_FB_CIRRUS=m -CONFIG_FB_PM2=m -# CONFIG_FB_PM2_FIFO_DISCONNECT is not set -CONFIG_FB_CYBER2000=m -CONFIG_FB_ASILIANT=y -# CONFIG_FB_IMSTT is not set -CONFIG_FB_S1D13XXX=m -CONFIG_FB_MATROX=m -CONFIG_FB_MATROX_MILLENIUM=y -CONFIG_FB_MATROX_MYSTIQUE=y -CONFIG_FB_MATROX_G=y -CONFIG_FB_MATROX_I2C=m -CONFIG_FB_MATROX_MAVEN=m -CONFIG_FB_RADEON=m -CONFIG_FB_RADEON_I2C=y -# CONFIG_FB_RADEON_DEBUG is not set -CONFIG_FB_ATY128=m -CONFIG_FB_ATY=m -CONFIG_FB_ATY_CT=y -CONFIG_FB_ATY_GENERIC_LCD=y -CONFIG_FB_ATY_GX=y -CONFIG_FB_SAVAGE=m -CONFIG_FB_SAVAGE_I2C=y -# CONFIG_FB_SAVAGE_ACCEL is not set -CONFIG_FB_SIS=m -CONFIG_FB_SIS_300=y -CONFIG_FB_SIS_315=y -CONFIG_FB_NEOMAGIC=m -CONFIG_FB_KYRO=m -CONFIG_FB_VOODOO1=m -CONFIG_FB_TRIDENT=m -# CONFIG_FB_VIRTUAL is not set - -## -## file: drivers/video/fbdev/core/Kconfig -## -CONFIG_FB_MODE_HELPERS=y -CONFIG_FB_TILEBLITTING=y - -## -## file: fs/pstore/Kconfig -## -CONFIG_PSTORE=y - -## -## file: kernel/Kconfig.kexec -## -CONFIG_KEXEC=y -CONFIG_CRASH_DUMP=y - -## -## file: lib/Kconfig.debug -## -#. Broken here (#905461) -# CONFIG_SCHED_STACK_END_CHECK is not set - -## -## file: lib/xz/Kconfig -## -CONFIG_XZ_DEC_IA64=y - -## -## file: net/ipv6/Kconfig -## -CONFIG_IPV6=y - -## -## file: security/Kconfig -## -CONFIG_LSM_MMAP_MIN_ADDR=65536 -# CONFIG_HARDENED_USERCOPY is not set - -## -## file: sound/drivers/Kconfig -## -CONFIG_SND_DUMMY=m -CONFIG_SND_VIRMIDI=m -CONFIG_SND_MTPAV=m -CONFIG_SND_SERIAL_U16550=m -CONFIG_SND_MPU401=m - -## -## file: sound/pci/Kconfig -## -CONFIG_SND_ALS4000=m -CONFIG_SND_ALI5451=m -CONFIG_SND_ATIIXP=m -CONFIG_SND_ATIIXP_MODEM=m -CONFIG_SND_AU8810=m -CONFIG_SND_AU8820=m -CONFIG_SND_AU8830=m -CONFIG_SND_AZT3328=m -CONFIG_SND_BT87X=m -# CONFIG_SND_BT87X_OVERCLOCK is not set -CONFIG_SND_CA0106=m -CONFIG_SND_CMIPCI=m -CONFIG_SND_CS4281=m -CONFIG_SND_CS46XX=m -CONFIG_SND_CS46XX_NEW_DSP=y -CONFIG_SND_EMU10K1=m -CONFIG_SND_EMU10K1X=m -CONFIG_SND_ENS1370=m -CONFIG_SND_ENS1371=m -CONFIG_SND_ES1938=m -CONFIG_SND_ES1968=m -CONFIG_SND_FM801=m -CONFIG_SND_FM801_TEA575X_BOOL=y -CONFIG_SND_HDSP=m -CONFIG_SND_ICE1712=m -CONFIG_SND_ICE1724=m -CONFIG_SND_INTEL8X0=m -CONFIG_SND_INTEL8X0M=m -CONFIG_SND_KORG1212=m -CONFIG_SND_MAESTRO3=m -CONFIG_SND_MIXART=m -CONFIG_SND_NM256=m -CONFIG_SND_RME32=m -CONFIG_SND_RME96=m -CONFIG_SND_RME9652=m -CONFIG_SND_SONICVIBES=m -CONFIG_SND_TRIDENT=m -CONFIG_SND_VIA82XX=m -CONFIG_SND_VIA82XX_MODEM=m -CONFIG_SND_VX222=m -CONFIG_SND_YMFPCI=m - -## -## file: sound/pci/hda/Kconfig -## -CONFIG_SND_HDA_INTEL=m diff --git a/debian/config/ia64/config.itanium b/debian/config/ia64/config.itanium deleted file mode 100644 index 1d1da671fb..0000000000 --- a/debian/config/ia64/config.itanium +++ /dev/null @@ -1,10 +0,0 @@ -## -## file: arch/ia64/Kconfig -## -## choice: Processor type -CONFIG_ITANIUM=y -# CONFIG_MCKINLEY is not set -## end choice -CONFIG_SMP=y -CONFIG_NR_CPUS=64 -# CONFIG_SCHED_SMT is not set diff --git a/debian/config/ia64/config.mckinley b/debian/config/ia64/config.mckinley deleted file mode 100644 index 581fcde88c..0000000000 --- a/debian/config/ia64/config.mckinley +++ /dev/null @@ -1,10 +0,0 @@ -## -## file: arch/ia64/Kconfig -## -## choice: Processor type -# CONFIG_ITANIUM is not set -CONFIG_MCKINLEY=y -## end choice -CONFIG_SMP=y -CONFIG_NR_CPUS=64 -# CONFIG_SCHED_SMT is not set |