{ ... }:

{
  corenix.corebootConfig = {
    CONFIG_VENDOR_LENOVO = "y";
    CONFIG_BOARD_LENOVO_X230 = "y";
  };

  seabios.ps2Timeout = 5000;
}