fix: set up boot partition correctly
authorPaul Hänsch <paul@plutz.net>
Wed, 31 Oct 2018 13:34:02 +0000 (14:34 +0100)
committerPaul Hänsch <paul@plutz.net>
Wed, 31 Oct 2018 13:34:02 +0000 (14:34 +0100)
commite9d9d52c3daec2d9e531f42d74db40237f99b920
treed56c00c915aa363db65508dfde23d9c4ce471b6d
parent11f869bf1fa16026d64ad4ccae2a6af546d10118
fix: set up boot partition correctly
Makefile