# Configuration for a x230 running Qubes and other OSes BOARD=x230 CONFIG_COREBOOT=y CONFIG_COREBOOT_CONFIG=config/coreboot-x230.config CONFIG_LINUX_CONFIG=config/linux-x230.config CONFIG_CRYPTSETUP=y CONFIG_FLASHROM=y CONFIG_GPG=y CONFIG_KEXEC=y CONFIG_UTIL_LINUX=y CONFIG_LVM2=y CONFIG_MBEDTLS=y CONFIG_PCIUTILS=y CONFIG_POPT=y CONFIG_QRENCODE=y CONFIG_TPMTOTP=y CONFIG_XEN=y CONFIG_XEN_VERSION=4.8 CONFIG_DROPBEAR=y CONFIG_LINUX_USB=y CONFIG_LINUX_E1000E=y CONFIG_BOOTSCRIPT=/bin/generic-init CONFIG_BOOT_REQ_HASH=n CONFIG_BOOT_REQ_ROLLBACK=n CONFIG_BOOT_KERNEL_ADD="intel_iommu=on" CONFIG_BOOT_KERNEL_REMOVE="quiet" CONFIG_BOOT_DEV="/dev/sda1" CONFIG_USB_BOOT_DEV="/dev/sdb1"