{ ... }:

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