commit 8ddd27fe2c70d14c926d7d12242b24a60c42c196
author Jan Kundrát <jan.kundrat@cesnet.cz> Thu Apr 05 11:14:24 2018 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> Thu Apr 05 21:54:42 2018 +0200
tree 1d8b91c7cf69453f1eee3571dba90a88f39a4c3c
parent 816f01a0ac3a246c4bd5ffba29bc4ec3d4f474d0

Creating a copy of the /boot filesystem for an extra partition

This will be needed for Grub2.

Change-Id: Icc5a4e5652101e8746b6796f39ee4aeb5163d45a

package/czechlight-separate-boot/Config.in

diff --git a/package/czechlight-separate-boot/Config.in b/package/czechlight-separate-boot/Config.in
new file mode 100644
index 0000000..0e1bf97
--- /dev/null
+++ b/package/czechlight-separate-boot/Config.in
@@ -0,0 +1,14 @@
+config BR2_TARGET_ROOTFS_CZECHLIGHT_SEPARATE_BOOT
+	bool "Separate /boot partition"
+	help
+	  Builds a standalone ext2 image with the /boot directory from the real rootfs.
+
+if BR2_TARGET_ROOTFS_CZECHLIGHT_SEPARATE_BOOT
+
+config CZECHLIGHT_SEPARATE_BOOT_SIZE
+	string "exact size"
+	default "4M"
+	help
+	  Size of the /boot filesystem image.
+
+endif # BR2_TARGET_ROOTFS_CZECHLIGHT_SEPARATE_BOOT