tree 1d8b91c7cf69453f1eee3571dba90a88f39a4c3c
parent 816f01a0ac3a246c4bd5ffba29bc4ec3d4f474d0
author Jan Kundrát <jan.kundrat@cesnet.cz> 1522919664 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1522958082 +0200

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

This will be needed for Grub2.

Change-Id: Icc5a4e5652101e8746b6796f39ee4aeb5163d45a