CONFIG_EXPERIMENTAL=y

  CONFIG_SYSVIPC=y

  CONFIG_IKCONFIG=y

  CONFIG_IKCONFIG_PROC=y

  CONFIG_LOG_BUF_SHIFT=16

  # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set

  CONFIG_MODULES=y
  CONFIG_MODULE_UNLOAD=y

  CONFIG_MODULE_FORCE_UNLOAD=y

  CONFIG_MODVERSIONS=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_MULTI_LUN=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_PARTITION_ADVANCED=y
  CONFIG_EFI_PARTITION=y
  CONFIG_DEBUG_KERNEL=y
  CONFIG_DEBUG_MUTEXES=y
  CONFIG_DEBUG_INFO=y