1 2 3 4 5 6 7 8 9 10
{ ... }: { corenix.corebootConfig = { CONFIG_VENDOR_LENOVO = "y"; CONFIG_BOARD_LENOVO_X1_CARBON_GEN1 = "y"; }; seabios.ps2Timeout = 5000; }