|
| 1 | +CONFIG_LOCALVERSION="v1.6.0" |
| 2 | +#CONFIG_CCACHE=y |
| 3 | +CONFIG_USE_OPTION_TABLE=y |
| 4 | +CONFIG_VENDOR_NOVACUSTOM=y |
| 5 | +CONFIG_MAINBOARD_VERSION="v2.1" |
| 6 | +CONFIG_CBFS_SIZE=0x1000000 |
| 7 | + |
| 8 | +CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="Nitrokey" |
| 9 | +CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="Nitropad NV41" |
| 10 | + |
| 11 | +CONFIG_IFD_BIN_PATH="../nitrokey-blobs/nitropad-nv41/flashdescriptor-HAP.bin" |
| 12 | +CONFIG_ME_BIN_PATH="../nitrokey-blobs/nitropad-nv41/me.bin" |
| 13 | + |
| 14 | +CONFIG_HAVE_IFD_BIN=y |
| 15 | +CONFIG_HAVE_ME_BIN=y |
| 16 | + |
| 17 | +CONFIG_LINUX_COMMAND_LINE="iommu=pt video=eDP-1:1920x1080 drm_kms_helper.drm_leak_fbdev_smem=1 i915.enable_fbc=0" |
| 18 | + |
| 19 | + |
| 20 | +# CONFIG_CONSOLE_SERIAL is not set |
| 21 | +# CONFIG_POST_IO is not set |
| 22 | +CONFIG_VBOOT=n |
| 23 | +CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 |
| 24 | +CONFIG_PCIEXP_HOTPLUG_BUSES=42 |
| 25 | +CONFIG_PCIEXP_HOTPLUG_MEM=0xc200000 |
| 26 | +CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x1c000000 |
| 27 | +CONFIG_BOARD_NOVACUSTOM_NV4X_ADLP=y |
| 28 | +CONFIG_UART_PCI_ADDR=0x0 |
| 29 | +CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G=y |
| 30 | +CONFIG_PCIEXP_HOTPLUG_IO=0x2000 |
| 31 | +CONFIG_SUBSYSTEM_VENDOR_ID=0x0000 |
| 32 | +CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 |
| 33 | +CONFIG_I2C_TRANSFER_TIMEOUT_US=500000 |
| 34 | +CONFIG_SMMSTORE_SIZE=0x40000 |
| 35 | +CONFIG_TPM_MEASURED_BOOT=y |
| 36 | + |
| 37 | +#CONFIG_VGA_ROM_RUN=y |
| 38 | +#CONFIG_MAINBOARD_USE_LIBGFXINIT=y |
| 39 | +CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| 40 | + |
| 41 | +CONFIG_PAYLOAD_LINUX=y |
| 42 | +CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage" |
| 43 | +CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz" |
| 44 | + |
| 45 | + |
| 46 | +#CONFIG_CBFS_MCACHE_RW_PERCENTAGE=0 |
| 47 | + |
| 48 | +CONFIG_CONSOLE_SPI_FLASH=y |
| 49 | +CONFIG_CONSOLE_SPI_FLASH_BUFFER_SIZE=0x50000 |
| 50 | + |
| 51 | + |
| 52 | +#CONFIG_VBOOT_KEYBLOCK_VERSION=1 |
| 53 | +#CONFIG_VBOOT_KEYBLOCK_PREAMBLE_FLAGS=0x0 |
| 54 | +# CONFIG_TPM_PPI is not set |
| 55 | +#CONFIG_PAYLOAD_EDK2=y |
| 56 | +#CONFIG_EDK2_REPOSITORY="https://github.com/Dasharo/edk2" |
| 57 | +#CONFIG_EDK2_TAG_OR_REV="abfdef4027579238d19501973ef8f3add1d561ce" |
| 58 | +##CONFIG_EDK2_SD_MMC_TIMEOUT=10 |
| 59 | +##CONFIG_EDK2_SECURE_BOOT=y |
| 60 | +#CONFIG_EDK2_BOOT_MENU_KEY=0x0016 |
| 61 | +#CONFIG_EDK2_SETUP_MENU_KEY=0x0017 |
| 62 | +# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set |
| 63 | +#CONFIG_EDK2_BOOT_TIMEOUT=2 |
| 64 | +#CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/novacustom/bootsplash.bmp" |
0 commit comments