rpi: add custom WKS file

diff --git a/raspberrypi/conf/machine/raspberrypi-extra.conf b/raspberrypi/conf/machine/raspberrypi-extra.conf
index 08eadb0..c412ecd 100644 (file)
--- 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 (file)
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