diff options
| author | Ricardo Salveti <ricardo@opensourcefoundries.com> | 2018-02-07 18:31:40 -0200 |
|---|---|---|
| committer | Ricardo Salveti <ricardo@opensourcefoundries.com> | 2018-02-07 18:33:50 -0200 |
| commit | afd424c88f3df0d595050fbb40cd05a80f35852b (patch) | |
| tree | 38e606c5ca432411349aa0c9e48118ff3732a232 /wic | |
| parent | c0c2ebfb662fde3694e22b38ae649b2960760e0f (diff) | |
efidisk.wks: fix part labels
EFI partition should be named 'efi' and mounted at /boot/efi. Root file
system should be named 'rootfs' instead of 'platform'.
Signed-off-by: Ricardo Salveti <ricardo@opensourcefoundries.com>
Diffstat (limited to 'wic')
| -rw-r--r-- | wic/efidisk.wks | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/wic/efidisk.wks b/wic/efidisk.wks index dd5281e..c1d2d44 100644 --- a/wic/efidisk.wks +++ b/wic/efidisk.wks @@ -2,6 +2,6 @@ # long-description: Creates a partitioned EFI disk image that the user # can directly dd to boot media. The selected bootloader is grub-efi. -part /boot --source bootimg-efi --sourceparams="loader=grub-efi" --ondisk sda --label msdos --active --align 1024 --use-uuid -part / --source rootfs --ondisk sda --fstype=ext4 --label platform --align 1024 --use-uuid +part /boot/efi --source bootimg-efi --sourceparams="loader=grub-efi" --ondisk sda --label efi --active --align 1024 --use-uuid +part / --source rootfs --ondisk sda --fstype=ext4 --label rootfs --align 1024 --use-uuid bootloader --ptable gpt --timeout=3 --append="rootfstype=ext4 console=ttyS0,115200 console=tty0" |