{ lib, ... }: { imports = [ ./common.nix ./boards/x1c.nix ]; corenix.corebootConfig = { CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH = "1600"; CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT = "900"; CONFIG_CBFS_SIZE = "0x6f0000"; }; grub2.enable = true; seabios.enable = true; seabios.asSecondaryPayload = true; tianocore.enable = true; tianocore.asSecondaryPayload = true; coreinfo.enable = true; nvramcui.enable = true; tint.enable = true; }