{
  "executable_type": "kernel",
  "output_name": "HCoreKrnl.efi",
  "start_proc": "Main",
  "format": "PEF"
}