2018-02-14 11:44:18 -08:00
|
|
|
# Configuration for a librem13v2
|
|
|
|
CONFIG_LINUX_CONFIG=config/linux-librem13v2.config
|
|
|
|
|
|
|
|
CONFIG_COREBOOT=y
|
|
|
|
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_LINUX_USB=y
|
2017-12-05 16:29:07 +08:00
|
|
|
CONFIG_TPM=y
|
2018-02-14 11:44:18 -08:00
|
|
|
|
|
|
|
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"
|