image record may contain some partitions.
This is the data type representing an image partition.
The partition size in bytes or
which is the default, means that the partition size will be inferred
based on the partition content.
The partition’s start offset in bytes, relative to the image start or
the previous partition end. It defaults to
0 which means that
there is no offset applied.
The partition file system as a string, defaulting to
supported values are
The partition file system creation options that should be passed to the
partition creation tool, as a list of strings. This is only supported
"extended-options" man page section of the
"mke2fs" tool for a more complete reference.
The partition label as a mandatory string,
The partition UUID as an
uuid record (see File Systems). By
default it is
#false, which means that the partition creation
tool will attribute a random UUID to the partition.
The partition flags as a list of symbols. Possible values are
'boot flags should be set if
you want to boot from this partition. Exactly one partition should have
this flag set, usually the root one. The
'esp flag identifies a
UEFI System Partition.
The partition initializer procedure as a gexp. This procedure is called
to populate a partition. If no initializer is passed, the
initialize-root-partition procedure from the
image) module is used.