| CONFIG_SYSVIPC=y |
| CONFIG_IKCONFIG=y |
| CONFIG_IKCONFIG_PROC=y |
| CONFIG_LOG_BUF_SHIFT=16 |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_MODULE_FORCE_UNLOAD=y |
| CONFIG_MODVERSIONS=y |
| CONFIG_PARTITION_ADVANCED=y |
| CONFIG_IA64_HP_SIM=y |
| CONFIG_MCKINLEY=y |
| CONFIG_IA64_PAGE_SIZE_64KB=y |
| CONFIG_SMP=y |
| CONFIG_NR_CPUS=64 |
| CONFIG_PREEMPT=y |
| CONFIG_IA64_PALINFO=m |
| CONFIG_EFI_VARS=y |
| CONFIG_BINFMT_MISC=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_INET=y |
| CONFIG_IP_MULTICAST=y |
| # CONFIG_IPV6 is not set |
| # CONFIG_STANDALONE is not set |
| CONFIG_BLK_DEV_LOOP=y |
| CONFIG_BLK_DEV_RAM=y |
| CONFIG_SCSI=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_SCSI_CONSTANTS=y |
| CONFIG_SCSI_LOGGING=y |
| CONFIG_SCSI_SPI_ATTRS=y |
| # CONFIG_INPUT_KEYBOARD is not set |
| # CONFIG_INPUT_MOUSE is not set |
| # CONFIG_SERIO_I8042 is not set |
| # CONFIG_LEGACY_PTYS is not set |
| CONFIG_EFI_RTC=y |
| # CONFIG_VGA_CONSOLE is not set |
| CONFIG_HP_SIMETH=y |
| CONFIG_HP_SIMSERIAL=y |
| CONFIG_HP_SIMSERIAL_CONSOLE=y |
| CONFIG_HP_SIMSCSI=y |
| CONFIG_EXT2_FS=y |
| CONFIG_EXT3_FS=y |
| # CONFIG_EXT3_FS_XATTR is not set |
| CONFIG_PROC_KCORE=y |
| CONFIG_HUGETLBFS=y |
| CONFIG_NFS_FS=y |
| CONFIG_NFSD=y |
| CONFIG_NFSD_V3=y |
| CONFIG_DEBUG_INFO=y |
| CONFIG_DEBUG_KERNEL=y |
| CONFIG_DEBUG_MUTEXES=y |
