54ec0e2a74
Let's rework the board and config files to use genimage to generate the SD card image directly. Signed-off-by: Ezequiel Garcia <ezequiel@vanguardiasur.com.ar> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
35 lines
533 B
INI
35 lines
533 B
INI
# Create an image of the efi partition
|
|
image efi-part.vfat {
|
|
vfat {
|
|
file startup.nsh {
|
|
image = "efi-part/startup.nsh"
|
|
}
|
|
file EFI {
|
|
image = "efi-part/EFI"
|
|
}
|
|
file bzImage {
|
|
image = "bzImage"
|
|
}
|
|
}
|
|
size=10M
|
|
}
|
|
|
|
# Create the sdcard image, pulling in
|
|
# * the image created by buildroot
|
|
# * the efi-partition created above
|
|
image sdcard.img {
|
|
hdimage {
|
|
}
|
|
|
|
partition boot {
|
|
partition-type = 0xEF
|
|
image = "efi-part.vfat"
|
|
}
|
|
|
|
partition rootfs {
|
|
partition-type = 0x83
|
|
image = "rootfs.ext4"
|
|
size = 512M
|
|
}
|
|
}
|