From 29406e76a10eccdfc36dd4d29e583df35465c0ce Mon Sep 17 00:00:00 2001 From: Hugo Villeneuve Date: Sun, 22 Jan 2023 15:19:56 -0500 Subject: [PATCH] rpi: add custom WKS file --- raspberrypi/conf/machine/raspberrypi-extra.conf | 2 ++ wic/hvmpd-raspberrypi.wks.in | 7 +++++++ 2 files changed, 9 insertions(+) create mode 100644 wic/hvmpd-raspberrypi.wks.in diff --git a/raspberrypi/conf/machine/raspberrypi-extra.conf b/raspberrypi/conf/machine/raspberrypi-extra.conf index 08eadb0..c412ecd 100644 --- a/raspberrypi/conf/machine/raspberrypi-extra.conf +++ b/raspberrypi/conf/machine/raspberrypi-extra.conf @@ -16,3 +16,5 @@ RPI_USE_U_BOOT = "1" ENABLE_UART = "1" VIDEO_CAMERA = "0" + +WKS_FILE = "hvmpd-raspberrypi.wks.in" diff --git a/wic/hvmpd-raspberrypi.wks.in b/wic/hvmpd-raspberrypi.wks.in new file mode 100644 index 0000000..3182fe8 --- /dev/null +++ b/wic/hvmpd-raspberrypi.wks.in @@ -0,0 +1,7 @@ +# short-description: Create Raspberry Pi SD card image +# long-description: Creates a partitioned SD card image for use with +# Raspberry Pi. Boot files are located in the first vfat partition. + +part /boot --source bootimg-partition --fstype=vfat --label boot --align 4096 --active --size 20 +part / --source rootfs --fstype=ext4 --label rootA --align 4096 +part rootfsB --source rootfs --fstype=ext4 --label rootB -- 2.20.1