board/pc/genimage-efi.cfg

   1 image efi-part.vfat {
   2   vfat {
   3     file startup.nsh {
   4       image = "efi-part/startup.nsh"
   5     }
   6     file EFI {
   7       image = "efi-part/EFI"
   8     }
   9     file bzImage {
  10       image = "bzImage"
  11     }
  12   }
  13   size = 16M
  14 }
  15
  16 image disk.img {
  17
  18   hdimage {
  19   }
  20
  21   partition boot {
  22     partition-type = 0xEF
  23     image = "efi-part.vfat"
  24   }
  25
  26   partition root {
  27     partition-type = 0x83
  28     image = "rootfs.ext2"
  29   }
  30
  31 }