From bc6045c8b5333ac5d407e8f4b96bb0d9f50dfa9a Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 6 Jan 2018 14:48:34 -0400 Subject: changes to allow GPT BIOS boot partitions * Parted: Allow partitions to have no filesystem, for eg, GPT BIOS boot partitions. (API change) * Added rawPartition to PartSpec, for specifying partitions with no filesystem. * Added BiosGrubFlag to PartFlag. Note that man parted does not list the "bios_boot" flag, but I found it in its html documentation. Other flags may also be missing. This commit was sponsored by Boyd Stephen Smith Jr. on Patreon. --- ...nt_18_adea3a8a65cf954a5244bbb47a1636e4._comment | 26 ++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 doc/forum/imageBuiltFor_mount_points_not_automatically_created/comment_18_adea3a8a65cf954a5244bbb47a1636e4._comment (limited to 'doc/forum/imageBuiltFor_mount_points_not_automatically_created/comment_18_adea3a8a65cf954a5244bbb47a1636e4._comment') diff --git a/doc/forum/imageBuiltFor_mount_points_not_automatically_created/comment_18_adea3a8a65cf954a5244bbb47a1636e4._comment b/doc/forum/imageBuiltFor_mount_points_not_automatically_created/comment_18_adea3a8a65cf954a5244bbb47a1636e4._comment new file mode 100644 index 00000000..8a9a380e --- /dev/null +++ b/doc/forum/imageBuiltFor_mount_points_not_automatically_created/comment_18_adea3a8a65cf954a5244bbb47a1636e4._comment @@ -0,0 +1,26 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 18""" + date="2018-01-06T17:51:05Z" + content=""" +I don't know much about GPT boot stuff. I found mention of a BIOS boot +partition for GPT here: + + + +So, 1 mb partition with no filesystem and a "bios_grub" flag. + +Propellor's partitioning DSL will need to be extended in order to +support that. Currently, `Partition` has a `Fs` that is one of the common +filesystems or swap. Now we need no filesystem, so either add a NoFs to Fs, +or change it to use `Maybe Fs`. I chose the latter, because with NoFs, +Partition.formatted would be a no-op, which would be kinda surprising. + +I've made a commit adding all the stuff you should need, but I have not +tested making a BIOS boot partition with it. Should look +something like this: + + & hasPartition (rawPartition (MegaBytes 1) `setFlag` BiosGrubFlag) + +If you get it working, it would be good to add an example to propellor's docs. +"""]] -- cgit v1.2.3