{ ... }:

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

  seabios.ps2Timeout = 5000;

  # TODO: fetch mrc.bin
}