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