Norman Feske 096c1e1f7f run/image/disk: omit * from GENODE partition label ...

This way, the boot partition is not considered as default partition by
Sculpt unless the user explicitly marks it as such.

Issue #2778

2018-05-30 13:36:22 +02:00

..

bbl

run: update RISC-V run script support

2017-08-30 09:59:59 +02:00

disk

run/image/disk: omit * from GENODE partition label

2018-05-30 13:36:22 +02:00

iso

tool: use grub2 instead of grub1 for iso boot

2017-11-30 11:23:01 +01:00

muen

Update Muen port

2017-05-31 13:16:22 +02:00

uboot

…

uefi

tool: use grub2 instead of grub1 for iso boot

2017-11-30 11:23:01 +01:00