{ ... }:

{
  CONFIG_VENDOR_LENOVO = "y";
  CONFIG_BOARD_LENOVO_THINKPAD_T440P = "y";

  # TODO: fetch mrc.bin
}