CompileFlags:
  Add: ["-I/usr/include/efi", "-I/usr/include/efi/x86_64", "-DHELOS"]