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 when
"extended-options" man page section of the
tool for a more complete reference.
The partition label as a mandatory string,
"my-root" for instance.
The partition UUID as an
uuid record (see 文件系统). 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
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
(gnu build image)
module is used.