{ ... }: { imports = [ ./common.nix ../boards/x230-fhd ]; corenix.corebootConfig = { CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH = "1920"; CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT = "1080"; CONFIG_CBFS_SIZE = "0xbe5000"; }; tianocore.enable = true; }