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/Config.in

diff --git a/package/Config.in b/package/Config.in
index 5b9950d..64d8537 100644
--- a/package/Config.in
+++ b/package/Config.in
@@ -1,3 +1,4 @@
 source "$BR2_EXTERNAL_CZECHLIGHT_PATH/package/cla-sysrepo/Config.in"
 source "$BR2_EXTERNAL_CZECHLIGHT_PATH/package/czechlight-cfg-fs/Config.in"
+source "$BR2_EXTERNAL_CZECHLIGHT_PATH/package/czechlight-separate-boot/Config.in"
 source "$BR2_EXTERNAL_CZECHLIGHT_PATH/package/grub2-tools/Config.in"