1 /* SPDX-License-Identifier: LGPL-2.1-or-later */
3 #if HAVE_VALGRIND_MEMCHECK_H
4 #include <valgrind/memcheck.h>
7 #include <linux/dm-ioctl.h>
8 #include <linux/loop.h>
10 #include <sys/mount.h>
11 #include <sys/prctl.h>
16 #include <openssl/err.h>
17 #include <openssl/pem.h>
18 #include <openssl/x509.h>
21 #include "sd-device.h"
24 #include "architecture.h"
25 #include "ask-password-api.h"
26 #include "blkid-util.h"
27 #include "blockdev-util.h"
28 #include "btrfs-util.h"
30 #include "conf-files.h"
31 #include "constants.h"
33 #include "cryptsetup-util.h"
34 #include "device-nodes.h"
35 #include "device-util.h"
36 #include "devnum-util.h"
37 #include "discover-image.h"
38 #include "dissect-image.h"
42 #include "extension-util.h"
46 #include "fsck-util.h"
48 #include "hexdecoct.h"
49 #include "hostname-setup.h"
50 #include "id128-util.h"
51 #include "import-util.h"
53 #include "missing_mount.h"
54 #include "mkdir-label.h"
55 #include "mount-util.h"
56 #include "mountpoint-util.h"
57 #include "namespace-util.h"
58 #include "nulstr-util.h"
59 #include "openssl-util.h"
61 #include "path-util.h"
62 #include "process-util.h"
63 #include "raw-clone.h"
64 #include "resize-fs.h"
65 #include "signal-util.h"
66 #include "sparse-endian.h"
67 #include "stat-util.h"
68 #include "stdio-util.h"
69 #include "string-table.h"
70 #include "string-util.h"
72 #include "tmpfile-util.h"
73 #include "udev-util.h"
74 #include "user-util.h"
75 #include "xattr-util.h"
77 /* how many times to wait for the device nodes to appear */
78 #define N_DEVICE_NODE_LIST_ATTEMPTS 10
80 int dissect_fstype_ok(const char *fstype
) {
84 /* When we automatically mount file systems, be a bit conservative by default what we are willing to
85 * mount, just as an extra safety net to not mount with badly maintained legacy file system
88 e
= secure_getenv("SYSTEMD_DISSECT_FILE_SYSTEMS");
90 _cleanup_strv_free_
char **l
= NULL
;
92 l
= strv_split(e
, ":");
96 b
= strv_contains(l
, fstype
);
98 b
= STR_IN_SET(fstype
,
108 log_debug("File system type '%s' is not allowed to be mounted as result of automatic dissection.", fstype
);
112 int probe_sector_size(int fd
, uint32_t *ret
) {
121 le64_t alternate_lba
;
122 le64_t first_usable_lba
;
123 le64_t last_usable_lba
;
124 sd_id128_t disk_guid
;
125 le64_t partition_entry_lba
;
126 le32_t number_of_partition_entries
;
127 le32_t size_of_partition_entry
;
128 le32_t partition_entry_array_crc32
;
131 /* Disk images might be for 512B or for 4096 sector sizes, let's try to auto-detect that by searching
132 * for the GPT headers at the relevant byte offsets */
134 assert_cc(sizeof(struct gpt_header
) == 92);
136 /* We expect a sector size in the range 512…4096. The GPT header is located in the second
137 * sector. Hence it could be at byte 512 at the earliest, and at byte 4096 at the latest. And we must
138 * read with granularity of the largest sector size we care about. Which means 8K. */
139 uint8_t sectors
[2 * 4096];
146 n
= pread(fd
, sectors
, sizeof(sectors
), 0);
149 if (n
!= sizeof(sectors
)) /* too short? */
152 /* Let's see if we find the GPT partition header with various expected sector sizes */
153 for (uint32_t sz
= 512; sz
<= 4096; sz
<<= 1) {
154 struct gpt_header
*p
;
156 assert(sizeof(sectors
) >= sz
* 2);
157 p
= (struct gpt_header
*) (sectors
+ sz
);
159 if (memcmp(p
->signature
, (const char[8]) { 'E', 'F', 'I', ' ', 'P', 'A', 'R', 'T' }, 8) != 0)
162 if (le32toh(p
->revision
) != UINT32_C(0x00010000)) /* the only known revision of the spec: 1.0 */
165 if (le32toh(p
->header_size
) < sizeof(struct gpt_header
))
168 if (le32toh(p
->header_size
) > 4096) /* larger than a sector? something is off… */
171 if (le64toh(p
->my_lba
) != 1) /* this sector must claim to be at sector offset 1 */
175 return log_debug_errno(SYNTHETIC_ERRNO(ENOTUNIQ
),
176 "Detected valid partition table at offsets matching multiple sector sizes, refusing.");
182 log_debug("Determined sector size %" PRIu32
" based on discovered partition table.", found
);
184 return 1; /* indicate we *did* find it */
188 log_debug("Couldn't find any partition table to derive sector size of.");
189 *ret
= 512; /* pick the traditional default */
190 return 0; /* indicate we didn't find it */
193 int probe_sector_size_prefer_ioctl(int fd
, uint32_t *ret
) {
199 /* Just like probe_sector_size(), but if we are looking at a block device, will use the already
200 * configured sector size rather than probing by contents */
202 if (fstat(fd
, &st
) < 0)
205 if (S_ISBLK(st
.st_mode
))
206 return blockdev_get_sector_size(fd
, ret
);
208 return probe_sector_size(fd
, ret
);
211 int probe_filesystem_full(
218 /* Try to find device content type and return it in *ret_fstype. If nothing is found,
219 * 0/NULL will be returned. -EUCLEAN will be returned for ambiguous results, and a
220 * different error otherwise. */
223 _cleanup_(blkid_free_probep
) blkid_probe b
= NULL
;
224 _cleanup_free_
char *path_by_fd
= NULL
;
225 _cleanup_close_
int fd_close
= -EBADF
;
229 assert(fd
>= 0 || path
);
233 fd_close
= open(path
, O_RDONLY
|O_NONBLOCK
|O_CLOEXEC
|O_NOCTTY
);
241 r
= fd_get_path(fd
, &path_by_fd
);
248 if (size
== 0) /* empty size? nothing found! */
251 b
= blkid_new_probe();
255 /* The Linux kernel maintains separate block device caches for main ("whole") and partition block
256 * devices, which means making a change to one might not be reflected immediately when reading via
257 * the other. That's massively confusing when mixing accesses to such devices. Let's address this in
258 * a limited way: when probing a file system that is not at the beginning of the block device we
259 * apparently probe a partition via the main block device, and in that case let's first flush the
260 * main block device cache, so that we get the data that the per-partition block device last
263 * This only works under the assumption that any tools that write to the partition block devices
264 * issue an syncfs()/fsync() on the device after making changes. Typically file system formatting
265 * tools that write a superblock onto a partition block device do that, however. */
267 if (ioctl(fd
, BLKFLSBUF
, 0) < 0)
268 log_debug_errno(errno
, "Failed to flush block device cache, ignoring: %m");
271 r
= blkid_probe_set_device(
275 size
== UINT64_MAX
? 0 : size
); /* when blkid sees size=0 it understands "everything". We prefer using UINT64_MAX for that */
277 return errno_or_else(ENOMEM
);
279 blkid_probe_enable_superblocks(b
, 1);
280 blkid_probe_set_superblocks_flags(b
, BLKID_SUBLKS_TYPE
);
283 r
= blkid_do_safeprobe(b
);
284 if (r
== _BLKID_SAFEPROBE_NOT_FOUND
)
286 if (r
== _BLKID_SAFEPROBE_AMBIGUOUS
)
287 return log_debug_errno(SYNTHETIC_ERRNO(EUCLEAN
),
288 "Results ambiguous for partition %s", path
);
289 if (r
== _BLKID_SAFEPROBE_ERROR
)
290 return log_debug_errno(errno_or_else(EIO
), "Failed to probe partition %s: %m", path
);
292 assert(r
== _BLKID_SAFEPROBE_FOUND
);
294 (void) blkid_probe_lookup_value(b
, "TYPE", &fstype
, NULL
);
299 log_debug("Probed fstype '%s' on partition %s.", fstype
, path
);
310 log_debug("No type detected on partition %s", path
);
319 static int image_policy_may_use(
320 const ImagePolicy
*policy
,
321 PartitionDesignator designator
) {
323 PartitionPolicyFlags f
;
325 /* For each partition we find in the partition table do a first check if it may exist at all given
326 * the policy, or if it shall be ignored. */
328 f
= image_policy_get_exhaustively(policy
, designator
);
332 if ((f
& _PARTITION_POLICY_USE_MASK
) == PARTITION_POLICY_ABSENT
)
333 /* only flag set in policy is "absent"? then this partition may not exist at all */
334 return log_debug_errno(
335 SYNTHETIC_ERRNO(ERFKILL
),
336 "Partition of designator '%s' exists, but not allowed by policy, refusing.",
337 partition_designator_to_string(designator
));
338 if ((f
& _PARTITION_POLICY_USE_MASK
& ~PARTITION_POLICY_ABSENT
) == PARTITION_POLICY_UNUSED
) {
339 /* only "unused" or "unused" + "absent" are set? then don't use it */
340 log_debug("Partition of designator '%s' exists, and policy dictates to ignore it, doing so.",
341 partition_designator_to_string(designator
));
342 return false; /* ignore! */
345 return true; /* use! */
348 static int image_policy_check_protection(
349 const ImagePolicy
*policy
,
350 PartitionDesignator designator
,
351 PartitionPolicyFlags found_flags
) {
353 PartitionPolicyFlags policy_flags
;
355 /* Checks if the flags in the policy for the designated partition overlap the flags of what we found */
360 policy_flags
= image_policy_get_exhaustively(policy
, designator
);
361 if (policy_flags
< 0)
364 if ((found_flags
& policy_flags
) == 0) {
365 _cleanup_free_
char *found_flags_string
= NULL
, *policy_flags_string
= NULL
;
367 (void) partition_policy_flags_to_string(found_flags
, /* simplify= */ true, &found_flags_string
);
368 (void) partition_policy_flags_to_string(policy_flags
, /* simplify= */ true, &policy_flags_string
);
370 return log_debug_errno(SYNTHETIC_ERRNO(ERFKILL
), "Partition %s discovered with policy '%s' but '%s' was required, refusing.",
371 partition_designator_to_string(designator
),
372 strnull(found_flags_string
), strnull(policy_flags_string
));
378 static int image_policy_check_partition_flags(
379 const ImagePolicy
*policy
,
380 PartitionDesignator designator
,
381 uint64_t gpt_flags
) {
383 PartitionPolicyFlags policy_flags
;
386 /* Checks if the partition flags in the policy match reality */
388 policy_flags
= image_policy_get_exhaustively(policy
, designator
);
389 if (policy_flags
< 0)
392 b
= FLAGS_SET(gpt_flags
, SD_GPT_FLAG_READ_ONLY
);
393 if ((policy_flags
& _PARTITION_POLICY_READ_ONLY_MASK
) == (b
? PARTITION_POLICY_READ_ONLY_OFF
: PARTITION_POLICY_READ_ONLY_ON
))
394 return log_debug_errno(SYNTHETIC_ERRNO(ERFKILL
), "Partition %s has 'read-only' flag incorrectly set (must be %s, is %s), refusing.",
395 partition_designator_to_string(designator
),
396 one_zero(!b
), one_zero(b
));
398 b
= FLAGS_SET(gpt_flags
, SD_GPT_FLAG_GROWFS
);
399 if ((policy_flags
& _PARTITION_POLICY_GROWFS_MASK
) == (b
? PARTITION_POLICY_GROWFS_OFF
: PARTITION_POLICY_GROWFS_ON
))
400 return log_debug_errno(SYNTHETIC_ERRNO(ERFKILL
), "Partition %s has 'growfs' flag incorrectly set (must be %s, is %s), refusing.",
401 partition_designator_to_string(designator
),
402 one_zero(!b
), one_zero(b
));
407 static int dissected_image_probe_filesystems(
410 const ImagePolicy
*policy
) {
416 /* Fill in file system types if we don't know them yet. */
418 for (PartitionDesignator i
= 0; i
< _PARTITION_DESIGNATOR_MAX
; i
++) {
419 DissectedPartition
*p
= m
->partitions
+ i
;
420 PartitionPolicyFlags found_flags
;
426 /* If we have an fd referring to the partition block device, use that. Otherwise go
427 * via the whole block device or backing regular file, and read via offset. */
428 if (p
->mount_node_fd
>= 0)
429 r
= probe_filesystem_full(p
->mount_node_fd
, p
->node
, 0, UINT64_MAX
, &p
->fstype
);
431 r
= probe_filesystem_full(fd
, p
->node
, p
->offset
, p
->size
, &p
->fstype
);
436 if (streq_ptr(p
->fstype
, "crypto_LUKS")) {
438 found_flags
= PARTITION_POLICY_ENCRYPTED
; /* found this one, and its definitely encrypted */
440 /* found it, but it's definitely not encrypted, hence mask the encrypted flag, but
441 * set all other ways that indicate "present". */
442 found_flags
= PARTITION_POLICY_UNPROTECTED
|PARTITION_POLICY_VERITY
|PARTITION_POLICY_SIGNED
;
444 if (p
->fstype
&& fstype_is_ro(p
->fstype
))
450 /* We might have learnt more about the file system now (i.e. whether it is encrypted or not),
451 * hence we need to validate this against policy again, to see if the policy still matches
452 * with this new information. Note that image_policy_check_protection() will check for
453 * overlap between what's allowed in the policy and what we pass as 'found_policy' here. In
454 * the unencrypted case we thus might pass an overly unspecific mask here (i.e. unprotected
455 * OR verity OR signed), but that's fine since the earlier policy check already checked more
456 * specific which of those three cases where OK. Keep in mind that this function here only
457 * looks at specific partitions (and thus can only deduce encryption or not) but not the
458 * overall partition table (and thus cannot deduce verity or not). The earlier dissection
459 * checks already did the relevant checks that look at the whole partition table, and
460 * enforced policy there as needed. */
461 r
= image_policy_check_protection(policy
, i
, found_flags
);
469 static void check_partition_flags(
471 unsigned long long pflags
,
472 unsigned long long supported
) {
476 /* Mask away all flags supported by this partition's type and the three flags the UEFI spec defines generically */
477 pflags
&= ~(supported
|
478 SD_GPT_FLAG_REQUIRED_PARTITION
|
479 SD_GPT_FLAG_NO_BLOCK_IO_PROTOCOL
|
480 SD_GPT_FLAG_LEGACY_BIOS_BOOTABLE
);
485 /* If there are other bits set, then log about it, to make things discoverable */
486 for (unsigned i
= 0; i
< sizeof(pflags
) * 8; i
++) {
487 unsigned long long bit
= 1ULL << i
;
488 if (!FLAGS_SET(pflags
, bit
))
491 log_debug("Unexpected partition flag %llu set on %s!", bit
, node
);
495 static int dissected_image_new(const char *path
, DissectedImage
**ret
) {
496 _cleanup_(dissected_image_unrefp
) DissectedImage
*m
= NULL
;
497 _cleanup_free_
char *name
= NULL
;
503 _cleanup_free_
char *filename
= NULL
;
505 r
= path_extract_filename(path
, &filename
);
509 r
= raw_strip_suffixes(filename
, &name
);
513 if (!image_name_is_valid(name
)) {
514 log_debug("Image name %s is not valid, ignoring.", strna(name
));
519 m
= new(DissectedImage
, 1);
523 *m
= (DissectedImage
) {
524 .has_init_system
= -1,
525 .image_name
= TAKE_PTR(name
),
528 for (PartitionDesignator i
= 0; i
< _PARTITION_DESIGNATOR_MAX
; i
++)
529 m
->partitions
[i
] = DISSECTED_PARTITION_NULL
;
536 static void dissected_partition_done(DissectedPartition
*p
) {
542 free(p
->decrypted_fstype
);
543 free(p
->decrypted_node
);
544 free(p
->mount_options
);
545 safe_close(p
->mount_node_fd
);
547 *p
= DISSECTED_PARTITION_NULL
;
551 static int make_partition_devname(
552 const char *whole_devname
,
555 DissectImageFlags flags
,
558 _cleanup_free_
char *s
= NULL
;
561 assert(whole_devname
);
562 assert(nr
!= 0); /* zero is not a valid partition nr */
565 if (!FLAGS_SET(flags
, DISSECT_IMAGE_DISKSEQ_DEVNODE
) || diskseq
== 0) {
567 /* Given a whole block device node name (e.g. /dev/sda or /dev/loop7) generate a partition
568 * device name (e.g. /dev/sda7 or /dev/loop7p5). The rule the kernel uses is simple: if whole
569 * block device node name ends in a digit, then suffix a 'p', followed by the partition
570 * number. Otherwise, just suffix the partition number without any 'p'. */
572 if (nr
< 0) { /* whole disk? */
573 s
= strdup(whole_devname
);
577 size_t l
= strlen(whole_devname
);
578 if (l
< 1) /* underflow check for the subtraction below */
581 bool need_p
= ascii_isdigit(whole_devname
[l
-1]); /* Last char a digit? */
583 if (asprintf(&s
, "%s%s%i", whole_devname
, need_p
? "p" : "", nr
) < 0)
587 if (nr
< 0) /* whole disk? */
588 r
= asprintf(&s
, "/dev/disk/by-diskseq/%" PRIu64
, diskseq
);
590 r
= asprintf(&s
, "/dev/disk/by-diskseq/%" PRIu64
"-part%i", diskseq
, nr
);
599 static int open_partition(
602 const LoopDevice
*loop
) {
604 _cleanup_(sd_device_unrefp
) sd_device
*dev
= NULL
;
605 _cleanup_close_
int fd
= -EBADF
;
612 fd
= open(node
, O_RDONLY
|O_NONBLOCK
|O_CLOEXEC
|O_NOCTTY
);
616 /* Check if the block device is a child of (or equivalent to) the originally provided one. */
617 r
= block_device_new_from_fd(fd
, is_partition
? BLOCK_DEVICE_LOOKUP_WHOLE_DISK
: 0, &dev
);
621 r
= sd_device_get_devnum(dev
, &devnum
);
625 if (loop
->devno
!= devnum
)
628 /* Also check diskseq. */
629 if (loop
->diskseq
!= 0) {
632 r
= fd_get_diskseq(fd
, &diskseq
);
636 if (loop
->diskseq
!= diskseq
)
640 log_debug("Opened %s (fd=%i, whole_block_devnum=" DEVNUM_FORMAT_STR
", diskseq=%" PRIu64
").",
641 node
, fd
, DEVNUM_FORMAT_VAL(loop
->devno
), loop
->diskseq
);
645 static int compare_arch(Architecture a
, Architecture b
) {
649 if (a
== native_architecture())
652 if (b
== native_architecture())
655 #ifdef ARCHITECTURE_SECONDARY
656 if (a
== ARCHITECTURE_SECONDARY
)
659 if (b
== ARCHITECTURE_SECONDARY
)
666 static int dissect_image(
670 const VeritySettings
*verity
,
671 const MountOptions
*mount_options
,
672 const ImagePolicy
*policy
,
673 DissectImageFlags flags
) {
675 sd_id128_t root_uuid
= SD_ID128_NULL
, root_verity_uuid
= SD_ID128_NULL
;
676 sd_id128_t usr_uuid
= SD_ID128_NULL
, usr_verity_uuid
= SD_ID128_NULL
;
677 bool is_gpt
, is_mbr
, multiple_generic
= false,
678 generic_rw
= false, /* initialize to appease gcc */
679 generic_growfs
= false;
680 _cleanup_(blkid_free_probep
) blkid_probe b
= NULL
;
681 _cleanup_free_
char *generic_node
= NULL
;
682 sd_id128_t generic_uuid
= SD_ID128_NULL
;
683 const char *pttype
= NULL
, *sptuuid
= NULL
;
685 int r
, generic_nr
= -1, n_partitions
;
690 assert(!verity
|| verity
->designator
< 0 || IN_SET(verity
->designator
, PARTITION_ROOT
, PARTITION_USR
));
691 assert(!verity
|| verity
->root_hash
|| verity
->root_hash_size
== 0);
692 assert(!verity
|| verity
->root_hash_sig
|| verity
->root_hash_sig_size
== 0);
693 assert(!verity
|| (verity
->root_hash
|| !verity
->root_hash_sig
));
694 assert(!((flags
& DISSECT_IMAGE_GPT_ONLY
) && (flags
& DISSECT_IMAGE_NO_PARTITION_TABLE
)));
695 assert(m
->sector_size
> 0);
697 /* Probes a disk image, and returns information about what it found in *ret.
699 * Returns -ENOPKG if no suitable partition table or file system could be found.
700 * Returns -EADDRNOTAVAIL if a root hash was specified but no matching root/verity partitions found.
701 * Returns -ENXIO if we couldn't find any partition suitable as root or /usr partition
702 * Returns -ENOTUNIQ if we only found multiple generic partitions and thus don't know what to do with that
703 * Returns -ERFKILL if image doesn't match image policy
704 * Returns -EBADR if verity data was provided externally for an image that has a GPT partition table (i.e. is not just a naked fs)
705 * Returns -EPROTONOSUPPORT if DISSECT_IMAGE_ADD_PARTITION_DEVICES is set but the block device does not have partition logic enabled
706 * Returns -ENOMSG if we didn't find a single usable partition (and DISSECT_IMAGE_REFUSE_EMPTY is set) */
708 uint64_t diskseq
= m
->loop
? m
->loop
->diskseq
: 0;
710 if (verity
&& verity
->root_hash
) {
711 sd_id128_t fsuuid
, vuuid
;
713 /* If a root hash is supplied, then we use the root partition that has a UUID that match the
714 * first 128bit of the root hash. And we use the verity partition that has a UUID that match
715 * the final 128bit. */
717 if (verity
->root_hash_size
< sizeof(sd_id128_t
))
720 memcpy(&fsuuid
, verity
->root_hash
, sizeof(sd_id128_t
));
721 memcpy(&vuuid
, (const uint8_t*) verity
->root_hash
+ verity
->root_hash_size
- sizeof(sd_id128_t
), sizeof(sd_id128_t
));
723 if (sd_id128_is_null(fsuuid
))
725 if (sd_id128_is_null(vuuid
))
728 /* If the verity data declares it's for the /usr partition, then search for that, in all
729 * other cases assume it's for the root partition. */
730 if (verity
->designator
== PARTITION_USR
) {
732 usr_verity_uuid
= vuuid
;
735 root_verity_uuid
= vuuid
;
739 b
= blkid_new_probe();
744 r
= blkid_probe_set_device(b
, fd
, 0, 0);
746 return errno_or_else(ENOMEM
);
749 r
= blkid_probe_set_sectorsize(b
, m
->sector_size
);
751 return errno_or_else(EIO
);
753 if ((flags
& DISSECT_IMAGE_GPT_ONLY
) == 0) {
754 /* Look for file system superblocks, unless we only shall look for GPT partition tables */
755 blkid_probe_enable_superblocks(b
, 1);
756 blkid_probe_set_superblocks_flags(b
, BLKID_SUBLKS_TYPE
|BLKID_SUBLKS_USAGE
|BLKID_SUBLKS_UUID
);
759 blkid_probe_enable_partitions(b
, 1);
760 blkid_probe_set_partitions_flags(b
, BLKID_PARTS_ENTRY_DETAILS
);
763 r
= blkid_do_safeprobe(b
);
764 if (r
== _BLKID_SAFEPROBE_ERROR
)
765 return errno_or_else(EIO
);
766 if (IN_SET(r
, _BLKID_SAFEPROBE_AMBIGUOUS
, _BLKID_SAFEPROBE_NOT_FOUND
))
767 return log_debug_errno(SYNTHETIC_ERRNO(ENOPKG
), "Failed to identify any partition table.");
769 assert(r
== _BLKID_SAFEPROBE_FOUND
);
771 if ((!(flags
& DISSECT_IMAGE_GPT_ONLY
) &&
772 (flags
& DISSECT_IMAGE_GENERIC_ROOT
)) ||
773 (flags
& DISSECT_IMAGE_NO_PARTITION_TABLE
)) {
774 const char *usage
= NULL
;
776 /* If flags permit this, also allow using non-partitioned single-filesystem images */
778 (void) blkid_probe_lookup_value(b
, "USAGE", &usage
, NULL
);
779 if (STRPTR_IN_SET(usage
, "filesystem", "crypto")) {
780 _cleanup_free_
char *t
= NULL
, *n
= NULL
, *o
= NULL
;
781 const char *fstype
= NULL
, *options
= NULL
, *suuid
= NULL
;
782 _cleanup_close_
int mount_node_fd
= -EBADF
;
783 sd_id128_t uuid
= SD_ID128_NULL
;
784 PartitionPolicyFlags found_flags
;
787 /* OK, we have found a file system, that's our root partition then. */
789 r
= image_policy_may_use(policy
, PARTITION_ROOT
);
792 if (r
== 0) /* policy says ignore this, so we ignore it */
795 (void) blkid_probe_lookup_value(b
, "TYPE", &fstype
, NULL
);
796 (void) blkid_probe_lookup_value(b
, "UUID", &suuid
, NULL
);
798 encrypted
= streq_ptr(fstype
, "crypto_LUKS");
800 if (verity_settings_data_covers(verity
, PARTITION_ROOT
))
801 found_flags
= verity
->root_hash_sig
? PARTITION_POLICY_SIGNED
: PARTITION_POLICY_VERITY
;
803 found_flags
= encrypted
? PARTITION_POLICY_ENCRYPTED
: PARTITION_POLICY_UNPROTECTED
;
805 r
= image_policy_check_protection(policy
, PARTITION_ROOT
, found_flags
);
809 r
= image_policy_check_partition_flags(policy
, PARTITION_ROOT
, 0); /* we have no gpt partition flags, hence check against all bits off */
813 if (FLAGS_SET(flags
, DISSECT_IMAGE_PIN_PARTITION_DEVICES
)) {
814 mount_node_fd
= open_partition(devname
, /* is_partition = */ false, m
->loop
);
815 if (mount_node_fd
< 0)
816 return mount_node_fd
;
826 /* blkid will return FAT's serial number as UUID, hence it is quite possible
827 * that parsing this will fail. We'll ignore the ID, since it's just too
828 * short to be useful as tru identifier. */
829 r
= sd_id128_from_string(suuid
, &uuid
);
831 log_debug_errno(r
, "Failed to parse file system UUID '%s', ignoring: %m", suuid
);
834 r
= make_partition_devname(devname
, diskseq
, -1, flags
, &n
);
838 m
->single_file_system
= true;
839 m
->encrypted
= encrypted
;
841 m
->has_verity
= verity
&& verity
->data_path
;
842 m
->verity_ready
= verity_settings_data_covers(verity
, PARTITION_ROOT
);
844 m
->has_verity_sig
= false; /* signature not embedded, must be specified */
845 m
->verity_sig_ready
= m
->verity_ready
&& verity
->root_hash_sig
;
847 m
->image_uuid
= uuid
;
849 options
= mount_options_from_designator(mount_options
, PARTITION_ROOT
);
856 m
->partitions
[PARTITION_ROOT
] = (DissectedPartition
) {
858 .rw
= !m
->verity_ready
&& !fstype_is_ro(fstype
),
860 .architecture
= _ARCHITECTURE_INVALID
,
861 .fstype
= TAKE_PTR(t
),
863 .mount_options
= TAKE_PTR(o
),
864 .mount_node_fd
= TAKE_FD(mount_node_fd
),
873 (void) blkid_probe_lookup_value(b
, "PTTYPE", &pttype
, NULL
);
877 is_gpt
= streq_ptr(pttype
, "gpt");
878 is_mbr
= streq_ptr(pttype
, "dos");
880 if (!is_gpt
&& ((flags
& DISSECT_IMAGE_GPT_ONLY
) || !is_mbr
))
883 /* We support external verity data partitions only if the image has no partition table */
884 if (verity
&& verity
->data_path
)
887 if (FLAGS_SET(flags
, DISSECT_IMAGE_ADD_PARTITION_DEVICES
)) {
888 /* Safety check: refuse block devices that carry a partition table but for which the kernel doesn't
889 * do partition scanning. */
890 r
= blockdev_partscan_enabled(fd
);
894 return -EPROTONOSUPPORT
;
897 (void) blkid_probe_lookup_value(b
, "PTUUID", &sptuuid
, NULL
);
899 r
= sd_id128_from_string(sptuuid
, &m
->image_uuid
);
901 log_debug_errno(r
, "Failed to parse partition table UUID '%s', ignoring: %m", sptuuid
);
905 pl
= blkid_probe_get_partitions(b
);
907 return errno_or_else(ENOMEM
);
910 n_partitions
= blkid_partlist_numof_partitions(pl
);
911 if (n_partitions
< 0)
912 return errno_or_else(EIO
);
914 for (int i
= 0; i
< n_partitions
; i
++) {
915 _cleanup_free_
char *node
= NULL
;
916 unsigned long long pflags
;
917 blkid_loff_t start
, size
;
922 pp
= blkid_partlist_get_partition(pl
, i
);
924 return errno_or_else(EIO
);
926 pflags
= blkid_partition_get_flags(pp
);
929 nr
= blkid_partition_get_partno(pp
);
931 return errno_or_else(EIO
);
934 start
= blkid_partition_get_start(pp
);
936 return errno_or_else(EIO
);
938 assert((uint64_t) start
< UINT64_MAX
/512);
941 size
= blkid_partition_get_size(pp
);
943 return errno_or_else(EIO
);
945 assert((uint64_t) size
< UINT64_MAX
/512);
947 /* While probing we need the non-diskseq device node name to access the thing, hence mask off
948 * DISSECT_IMAGE_DISKSEQ_DEVNODE. */
949 r
= make_partition_devname(devname
, diskseq
, nr
, flags
& ~DISSECT_IMAGE_DISKSEQ_DEVNODE
, &node
);
953 /* So here's the thing: after the main ("whole") block device popped up it might take a while
954 * before the kernel fully probed the partition table. Waiting for that to finish is icky in
955 * userspace. So here's what we do instead. We issue the BLKPG_ADD_PARTITION ioctl to add the
956 * partition ourselves, racing against the kernel. Good thing is: if this call fails with
957 * EBUSY then the kernel was quicker than us, and that's totally OK, the outcome is good for
958 * us: the device node will exist. If OTOH our call was successful we won the race. Which is
959 * also good as the outcome is the same: the partition block device exists, and we can use
962 * Kernel returns EBUSY if there's already a partition by that number or an overlapping
963 * partition already existent. */
965 if (FLAGS_SET(flags
, DISSECT_IMAGE_ADD_PARTITION_DEVICES
)) {
966 r
= block_device_add_partition(fd
, node
, nr
, (uint64_t) start
* 512, (uint64_t) size
* 512);
969 return log_debug_errno(r
, "BLKPG_ADD_PARTITION failed: %m");
971 log_debug_errno(r
, "Kernel was quicker than us in adding partition %i.", nr
);
973 log_debug("We were quicker than kernel in adding partition %i.", nr
);
977 const char *fstype
= NULL
, *label
;
978 sd_id128_t type_id
, id
;
979 GptPartitionType type
;
980 bool rw
= true, growfs
= false;
982 r
= blkid_partition_get_uuid_id128(pp
, &id
);
984 log_debug_errno(r
, "Failed to read partition UUID, ignoring: %m");
988 r
= blkid_partition_get_type_id128(pp
, &type_id
);
990 log_debug_errno(r
, "Failed to read partition type UUID, ignoring: %m");
994 type
= gpt_partition_type_from_uuid(type_id
);
996 label
= blkid_partition_get_name(pp
); /* libblkid returns NULL here if empty */
998 if (IN_SET(type
.designator
,
1004 check_partition_flags(node
, pflags
,
1005 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
| SD_GPT_FLAG_GROWFS
);
1007 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1010 rw
= !(pflags
& SD_GPT_FLAG_READ_ONLY
);
1011 growfs
= FLAGS_SET(pflags
, SD_GPT_FLAG_GROWFS
);
1013 } else if (type
.designator
== PARTITION_ESP
) {
1015 /* Note that we don't check the SD_GPT_FLAG_NO_AUTO flag for the ESP, as it is
1016 * not defined there. We instead check the SD_GPT_FLAG_NO_BLOCK_IO_PROTOCOL, as
1017 * recommended by the UEFI spec (See "12.3.3 Number and Location of System
1020 if (pflags
& SD_GPT_FLAG_NO_BLOCK_IO_PROTOCOL
)
1025 } else if (type
.designator
== PARTITION_ROOT
) {
1027 check_partition_flags(node
, pflags
,
1028 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
| SD_GPT_FLAG_GROWFS
);
1030 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1033 /* If a root ID is specified, ignore everything but the root id */
1034 if (!sd_id128_is_null(root_uuid
) && !sd_id128_equal(root_uuid
, id
))
1037 rw
= !(pflags
& SD_GPT_FLAG_READ_ONLY
);
1038 growfs
= FLAGS_SET(pflags
, SD_GPT_FLAG_GROWFS
);
1040 } else if (type
.designator
== PARTITION_ROOT_VERITY
) {
1042 check_partition_flags(node
, pflags
,
1043 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
);
1045 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1048 m
->has_verity
= true;
1050 /* If no verity configuration is specified, then don't do verity */
1053 if (verity
->designator
>= 0 && verity
->designator
!= PARTITION_ROOT
)
1056 /* If root hash is specified, then ignore everything but the root id */
1057 if (!sd_id128_is_null(root_verity_uuid
) && !sd_id128_equal(root_verity_uuid
, id
))
1060 fstype
= "DM_verity_hash";
1063 } else if (type
.designator
== PARTITION_ROOT_VERITY_SIG
) {
1065 check_partition_flags(node
, pflags
,
1066 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
);
1068 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1071 m
->has_verity_sig
= true;
1075 if (verity
->designator
>= 0 && verity
->designator
!= PARTITION_ROOT
)
1078 fstype
= "verity_hash_signature";
1081 } else if (type
.designator
== PARTITION_USR
) {
1083 check_partition_flags(node
, pflags
,
1084 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
| SD_GPT_FLAG_GROWFS
);
1086 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1089 /* If a usr ID is specified, ignore everything but the usr id */
1090 if (!sd_id128_is_null(usr_uuid
) && !sd_id128_equal(usr_uuid
, id
))
1093 rw
= !(pflags
& SD_GPT_FLAG_READ_ONLY
);
1094 growfs
= FLAGS_SET(pflags
, SD_GPT_FLAG_GROWFS
);
1096 } else if (type
.designator
== PARTITION_USR_VERITY
) {
1098 check_partition_flags(node
, pflags
,
1099 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
);
1101 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1104 m
->has_verity
= true;
1108 if (verity
->designator
>= 0 && verity
->designator
!= PARTITION_USR
)
1111 /* If usr hash is specified, then ignore everything but the usr id */
1112 if (!sd_id128_is_null(usr_verity_uuid
) && !sd_id128_equal(usr_verity_uuid
, id
))
1115 fstype
= "DM_verity_hash";
1118 } else if (type
.designator
== PARTITION_USR_VERITY_SIG
) {
1120 check_partition_flags(node
, pflags
,
1121 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
);
1123 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1126 m
->has_verity_sig
= true;
1130 if (verity
->designator
>= 0 && verity
->designator
!= PARTITION_USR
)
1133 fstype
= "verity_hash_signature";
1136 } else if (type
.designator
== PARTITION_SWAP
) {
1138 check_partition_flags(node
, pflags
, SD_GPT_FLAG_NO_AUTO
);
1140 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1143 /* Note: we don't set fstype = "swap" here, because we still need to probe if
1144 * it might be encrypted (i.e. fstype "crypt_LUKS") or unencrypted
1145 * (i.e. fstype "swap"), and the only way to figure that out is via fstype
1148 /* We don't have a designator for SD_GPT_LINUX_GENERIC so check the UUID instead. */
1149 } else if (sd_id128_equal(type
.uuid
, SD_GPT_LINUX_GENERIC
)) {
1151 check_partition_flags(node
, pflags
,
1152 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
| SD_GPT_FLAG_GROWFS
);
1154 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1158 multiple_generic
= true;
1161 generic_rw
= !(pflags
& SD_GPT_FLAG_READ_ONLY
);
1162 generic_growfs
= FLAGS_SET(pflags
, SD_GPT_FLAG_GROWFS
);
1164 generic_node
= TAKE_PTR(node
);
1167 } else if (type
.designator
== PARTITION_VAR
) {
1169 check_partition_flags(node
, pflags
,
1170 SD_GPT_FLAG_NO_AUTO
| SD_GPT_FLAG_READ_ONLY
| SD_GPT_FLAG_GROWFS
);
1172 if (pflags
& SD_GPT_FLAG_NO_AUTO
)
1175 if (!FLAGS_SET(flags
, DISSECT_IMAGE_RELAX_VAR_CHECK
)) {
1176 sd_id128_t var_uuid
;
1178 /* For /var we insist that the uuid of the partition matches the
1179 * HMAC-SHA256 of the /var GPT partition type uuid, keyed by machine
1180 * ID. Why? Unlike the other partitions /var is inherently
1181 * installation specific, hence we need to be careful not to mount it
1182 * in the wrong installation. By hashing the partition UUID from
1183 * /etc/machine-id we can securely bind the partition to the
1186 r
= sd_id128_get_machine_app_specific(SD_GPT_VAR
, &var_uuid
);
1190 if (!sd_id128_equal(var_uuid
, id
)) {
1191 log_debug("Found a /var/ partition, but its UUID didn't match our expectations "
1192 "(found: " SD_ID128_UUID_FORMAT_STR
", expected: " SD_ID128_UUID_FORMAT_STR
"), ignoring.",
1193 SD_ID128_FORMAT_VAL(id
), SD_ID128_FORMAT_VAL(var_uuid
));
1198 rw
= !(pflags
& SD_GPT_FLAG_READ_ONLY
);
1199 growfs
= FLAGS_SET(pflags
, SD_GPT_FLAG_GROWFS
);
1202 if (type
.designator
!= _PARTITION_DESIGNATOR_INVALID
) {
1203 _cleanup_free_
char *t
= NULL
, *o
= NULL
, *l
= NULL
, *n
= NULL
;
1204 _cleanup_close_
int mount_node_fd
= -EBADF
;
1205 const char *options
= NULL
;
1207 r
= image_policy_may_use(policy
, type
.designator
);
1211 /* Policy says: ignore; Remember this fact, so that we later can distinguish between "found but ignored" and "not found at all" */
1213 if (!m
->partitions
[type
.designator
].found
)
1214 m
->partitions
[type
.designator
].ignored
= true;
1219 if (m
->partitions
[type
.designator
].found
) {
1220 /* For most partition types the first one we see wins. Except for the
1221 * rootfs and /usr, where we do a version compare of the label, and
1222 * let the newest version win. This permits a simple A/B versioning
1223 * scheme in OS images. */
1225 if (compare_arch(type
.arch
, m
->partitions
[type
.designator
].architecture
) <= 0)
1228 if (!partition_designator_is_versioned(type
.designator
) ||
1229 strverscmp_improved(m
->partitions
[type
.designator
].label
, label
) >= 0)
1232 dissected_partition_done(m
->partitions
+ type
.designator
);
1235 if (FLAGS_SET(flags
, DISSECT_IMAGE_PIN_PARTITION_DEVICES
) &&
1236 type
.designator
!= PARTITION_SWAP
) {
1237 mount_node_fd
= open_partition(node
, /* is_partition = */ true, m
->loop
);
1238 if (mount_node_fd
< 0)
1239 return mount_node_fd
;
1242 r
= make_partition_devname(devname
, diskseq
, nr
, flags
, &n
);
1258 options
= mount_options_from_designator(mount_options
, type
.designator
);
1260 o
= strdup(options
);
1265 m
->partitions
[type
.designator
] = (DissectedPartition
) {
1270 .architecture
= type
.arch
,
1271 .node
= TAKE_PTR(n
),
1272 .fstype
= TAKE_PTR(t
),
1273 .label
= TAKE_PTR(l
),
1275 .mount_options
= TAKE_PTR(o
),
1276 .mount_node_fd
= TAKE_FD(mount_node_fd
),
1277 .offset
= (uint64_t) start
* 512,
1278 .size
= (uint64_t) size
* 512,
1279 .gpt_flags
= pflags
,
1283 } else if (is_mbr
) {
1285 switch (blkid_partition_get_type(pp
)) {
1287 case 0x83: /* Linux partition */
1289 if (pflags
!= 0x80) /* Bootable flag */
1293 multiple_generic
= true;
1297 generic_growfs
= false;
1298 generic_node
= TAKE_PTR(node
);
1303 case 0xEA: { /* Boot Loader Spec extended $BOOT partition */
1304 _cleanup_close_
int mount_node_fd
= -EBADF
;
1305 _cleanup_free_
char *o
= NULL
, *n
= NULL
;
1306 sd_id128_t id
= SD_ID128_NULL
;
1307 const char *options
= NULL
;
1309 r
= image_policy_may_use(policy
, PARTITION_XBOOTLDR
);
1312 if (r
== 0) { /* policy says: ignore */
1313 if (!m
->partitions
[PARTITION_XBOOTLDR
].found
)
1314 m
->partitions
[PARTITION_XBOOTLDR
].ignored
= true;
1319 /* First one wins */
1320 if (m
->partitions
[PARTITION_XBOOTLDR
].found
)
1323 if (FLAGS_SET(flags
, DISSECT_IMAGE_PIN_PARTITION_DEVICES
)) {
1324 mount_node_fd
= open_partition(node
, /* is_partition = */ true, m
->loop
);
1325 if (mount_node_fd
< 0)
1326 return mount_node_fd
;
1329 (void) blkid_partition_get_uuid_id128(pp
, &id
);
1331 r
= make_partition_devname(devname
, diskseq
, nr
, flags
, &n
);
1335 options
= mount_options_from_designator(mount_options
, PARTITION_XBOOTLDR
);
1337 o
= strdup(options
);
1342 m
->partitions
[PARTITION_XBOOTLDR
] = (DissectedPartition
) {
1347 .architecture
= _ARCHITECTURE_INVALID
,
1348 .node
= TAKE_PTR(n
),
1350 .mount_options
= TAKE_PTR(o
),
1351 .mount_node_fd
= TAKE_FD(mount_node_fd
),
1352 .offset
= (uint64_t) start
* 512,
1353 .size
= (uint64_t) size
* 512,
1361 if (!m
->partitions
[PARTITION_ROOT
].found
&&
1362 (m
->partitions
[PARTITION_ROOT_VERITY
].found
||
1363 m
->partitions
[PARTITION_ROOT_VERITY_SIG
].found
))
1364 return -EADDRNOTAVAIL
; /* Verity found but no matching rootfs? Something is off, refuse. */
1366 /* Hmm, we found a signature partition but no Verity data? Something is off. */
1367 if (m
->partitions
[PARTITION_ROOT_VERITY_SIG
].found
&& !m
->partitions
[PARTITION_ROOT_VERITY
].found
)
1368 return -EADDRNOTAVAIL
;
1370 if (!m
->partitions
[PARTITION_USR
].found
&&
1371 (m
->partitions
[PARTITION_USR_VERITY
].found
||
1372 m
->partitions
[PARTITION_USR_VERITY_SIG
].found
))
1373 return -EADDRNOTAVAIL
; /* as above */
1376 if (m
->partitions
[PARTITION_USR_VERITY_SIG
].found
&& !m
->partitions
[PARTITION_USR_VERITY
].found
)
1377 return -EADDRNOTAVAIL
;
1379 /* If root and /usr are combined then insist that the architecture matches */
1380 if (m
->partitions
[PARTITION_ROOT
].found
&&
1381 m
->partitions
[PARTITION_USR
].found
&&
1382 (m
->partitions
[PARTITION_ROOT
].architecture
>= 0 &&
1383 m
->partitions
[PARTITION_USR
].architecture
>= 0 &&
1384 m
->partitions
[PARTITION_ROOT
].architecture
!= m
->partitions
[PARTITION_USR
].architecture
))
1385 return -EADDRNOTAVAIL
;
1387 if (!m
->partitions
[PARTITION_ROOT
].found
&&
1388 !m
->partitions
[PARTITION_USR
].found
&&
1389 (flags
& DISSECT_IMAGE_GENERIC_ROOT
) &&
1390 (!verity
|| !verity
->root_hash
|| verity
->designator
!= PARTITION_USR
)) {
1392 /* OK, we found nothing usable, then check if there's a single generic partition, and use
1393 * that. If the root hash was set however, then we won't fall back to a generic node, because
1394 * the root hash decides. */
1396 /* If we didn't find a properly marked root partition, but we did find a single suitable
1397 * generic Linux partition, then use this as root partition, if the caller asked for it. */
1398 if (multiple_generic
)
1401 /* If we didn't find a generic node, then we can't fix this up either */
1403 r
= image_policy_may_use(policy
, PARTITION_ROOT
);
1407 /* Policy says: ignore; remember that we did */
1408 m
->partitions
[PARTITION_ROOT
].ignored
= true;
1410 _cleanup_close_
int mount_node_fd
= -EBADF
;
1411 _cleanup_free_
char *o
= NULL
, *n
= NULL
;
1412 const char *options
;
1414 if (FLAGS_SET(flags
, DISSECT_IMAGE_PIN_PARTITION_DEVICES
)) {
1415 mount_node_fd
= open_partition(generic_node
, /* is_partition = */ true, m
->loop
);
1416 if (mount_node_fd
< 0)
1417 return mount_node_fd
;
1420 r
= make_partition_devname(devname
, diskseq
, generic_nr
, flags
, &n
);
1424 options
= mount_options_from_designator(mount_options
, PARTITION_ROOT
);
1426 o
= strdup(options
);
1431 assert(generic_nr
>= 0);
1432 m
->partitions
[PARTITION_ROOT
] = (DissectedPartition
) {
1435 .growfs
= generic_growfs
,
1436 .partno
= generic_nr
,
1437 .architecture
= _ARCHITECTURE_INVALID
,
1438 .node
= TAKE_PTR(n
),
1439 .uuid
= generic_uuid
,
1440 .mount_options
= TAKE_PTR(o
),
1441 .mount_node_fd
= TAKE_FD(mount_node_fd
),
1442 .offset
= UINT64_MAX
,
1449 /* Check if we have a root fs if we are told to do check. /usr alone is fine too, but only if appropriate flag for that is set too */
1450 if (FLAGS_SET(flags
, DISSECT_IMAGE_REQUIRE_ROOT
) &&
1451 !(m
->partitions
[PARTITION_ROOT
].found
|| (m
->partitions
[PARTITION_USR
].found
&& FLAGS_SET(flags
, DISSECT_IMAGE_USR_NO_ROOT
))))
1454 if (m
->partitions
[PARTITION_ROOT_VERITY
].found
) {
1455 /* We only support one verity partition per image, i.e. can't do for both /usr and root fs */
1456 if (m
->partitions
[PARTITION_USR_VERITY
].found
)
1459 /* We don't support verity enabled root with a split out /usr. Neither with nor without
1460 * verity there. (Note that we do support verity-less root with verity-full /usr, though.) */
1461 if (m
->partitions
[PARTITION_USR
].found
)
1462 return -EADDRNOTAVAIL
;
1466 /* If a verity designator is specified, then insist that the matching partition exists */
1467 if (verity
->designator
>= 0 && !m
->partitions
[verity
->designator
].found
)
1468 return -EADDRNOTAVAIL
;
1470 bool have_verity_sig_partition
=
1471 m
->partitions
[verity
->designator
== PARTITION_USR
? PARTITION_USR_VERITY_SIG
: PARTITION_ROOT_VERITY_SIG
].found
;
1473 if (verity
->root_hash
) {
1474 /* If we have an explicit root hash and found the partitions for it, then we are ready to use
1475 * Verity, set things up for it */
1477 if (verity
->designator
< 0 || verity
->designator
== PARTITION_ROOT
) {
1478 if (!m
->partitions
[PARTITION_ROOT_VERITY
].found
|| !m
->partitions
[PARTITION_ROOT
].found
)
1479 return -EADDRNOTAVAIL
;
1481 /* If we found a verity setup, then the root partition is necessarily read-only. */
1482 m
->partitions
[PARTITION_ROOT
].rw
= false;
1483 m
->verity_ready
= true;
1486 assert(verity
->designator
== PARTITION_USR
);
1488 if (!m
->partitions
[PARTITION_USR_VERITY
].found
|| !m
->partitions
[PARTITION_USR
].found
)
1489 return -EADDRNOTAVAIL
;
1491 m
->partitions
[PARTITION_USR
].rw
= false;
1492 m
->verity_ready
= true;
1495 if (m
->verity_ready
)
1496 m
->verity_sig_ready
= verity
->root_hash_sig
|| have_verity_sig_partition
;
1498 } else if (have_verity_sig_partition
) {
1500 /* If we found an embedded signature partition, we are ready, too. */
1502 m
->verity_ready
= m
->verity_sig_ready
= true;
1503 m
->partitions
[verity
->designator
== PARTITION_USR
? PARTITION_USR
: PARTITION_ROOT
].rw
= false;
1509 /* After we discovered all partitions let's see if the verity requirements match the policy. (Note:
1510 * we don't check encryption requirements here, because we haven't probed the file system yet, hence
1511 * don't know if this is encrypted or not) */
1512 for (PartitionDesignator di
= 0; di
< _PARTITION_DESIGNATOR_MAX
; di
++) {
1513 PartitionDesignator vi
, si
;
1514 PartitionPolicyFlags found_flags
;
1516 any
= any
|| m
->partitions
[di
].found
;
1518 vi
= partition_verity_of(di
);
1519 si
= partition_verity_sig_of(di
);
1521 /* Determine the verity protection level for this partition. */
1522 found_flags
= m
->partitions
[di
].found
?
1523 (vi
>= 0 && m
->partitions
[vi
].found
?
1524 (si
>= 0 && m
->partitions
[si
].found
? PARTITION_POLICY_SIGNED
: PARTITION_POLICY_VERITY
) :
1525 PARTITION_POLICY_ENCRYPTED
|PARTITION_POLICY_UNPROTECTED
) :
1526 (m
->partitions
[di
].ignored
? PARTITION_POLICY_UNUSED
: PARTITION_POLICY_ABSENT
);
1528 r
= image_policy_check_protection(policy
, di
, found_flags
);
1532 if (m
->partitions
[di
].found
) {
1533 r
= image_policy_check_partition_flags(policy
, di
, m
->partitions
[di
].gpt_flags
);
1539 if (!any
&& !FLAGS_SET(flags
, DISSECT_IMAGE_ALLOW_EMPTY
))
1542 r
= dissected_image_probe_filesystems(m
, fd
, policy
);
1550 int dissect_image_file(
1552 const VeritySettings
*verity
,
1553 const MountOptions
*mount_options
,
1554 const ImagePolicy
*image_policy
,
1555 DissectImageFlags flags
,
1556 DissectedImage
**ret
) {
1559 _cleanup_(dissected_image_unrefp
) DissectedImage
*m
= NULL
;
1560 _cleanup_close_
int fd
= -EBADF
;
1565 fd
= open(path
, O_RDONLY
|O_CLOEXEC
|O_NONBLOCK
|O_NOCTTY
);
1569 r
= fd_verify_regular(fd
);
1573 r
= dissected_image_new(path
, &m
);
1577 r
= probe_sector_size(fd
, &m
->sector_size
);
1581 r
= dissect_image(m
, fd
, path
, verity
, mount_options
, image_policy
, flags
);
1593 int dissect_log_error(int log_level
, int r
, const char *name
, const VeritySettings
*verity
) {
1594 assert(log_level
>= 0 && log_level
<= LOG_DEBUG
);
1599 case 0 ... INT_MAX
: /* success! */
1603 return log_full_errno(log_level
, r
, "Dissecting images is not supported, compiled without blkid support.");
1606 return log_full_errno(log_level
, r
, "%s: Couldn't identify a suitable partition table or file system.", name
);
1609 return log_full_errno(log_level
, r
, "%s: The image does not pass os-release/extension-release validation.", name
);
1611 case -EADDRNOTAVAIL
:
1612 return log_full_errno(log_level
, r
, "%s: No root partition for specified root hash found.", name
);
1615 return log_full_errno(log_level
, r
, "%s: Multiple suitable root partitions found in image.", name
);
1618 return log_full_errno(log_level
, r
, "%s: No suitable root partition found in image.", name
);
1620 case -EPROTONOSUPPORT
:
1621 return log_full_errno(log_level
, r
, "Device '%s' is a loopback block device with partition scanning turned off, please turn it on.", name
);
1624 return log_full_errno(log_level
, r
, "%s: Image is not a block device.", name
);
1627 return log_full_errno(log_level
, r
,
1628 "Combining partitioned images (such as '%s') with external Verity data (such as '%s') not supported. "
1629 "(Consider setting $SYSTEMD_DISSECT_VERITY_SIDECAR=0 to disable automatic discovery of external Verity data.)",
1630 name
, strna(verity
? verity
->data_path
: NULL
));
1633 return log_full_errno(log_level
, r
, "%s: image does not match image policy.", name
);
1636 return log_full_errno(log_level
, r
, "%s: no suitable partitions found.", name
);
1639 return log_full_errno(log_level
, r
, "%s: cannot dissect image: %m", name
);
1643 int dissect_image_file_and_warn(
1645 const VeritySettings
*verity
,
1646 const MountOptions
*mount_options
,
1647 const ImagePolicy
*image_policy
,
1648 DissectImageFlags flags
,
1649 DissectedImage
**ret
) {
1651 return dissect_log_error(
1653 dissect_image_file(path
, verity
, mount_options
, image_policy
, flags
, ret
),
1658 DissectedImage
* dissected_image_unref(DissectedImage
*m
) {
1662 /* First, clear dissected partitions. */
1663 for (PartitionDesignator i
= 0; i
< _PARTITION_DESIGNATOR_MAX
; i
++)
1664 dissected_partition_done(m
->partitions
+ i
);
1666 /* Second, free decrypted images. This must be after dissected_partition_done(), as freeing
1667 * DecryptedImage may try to deactivate partitions. */
1668 decrypted_image_unref(m
->decrypted_image
);
1670 /* Third, unref LoopDevice. This must be called after the above two, as freeing LoopDevice may try to
1671 * remove existing partitions on the loopback block device. */
1672 loop_device_unref(m
->loop
);
1674 free(m
->image_name
);
1676 strv_free(m
->machine_info
);
1677 strv_free(m
->os_release
);
1678 strv_free(m
->initrd_release
);
1679 strv_free(m
->extension_release
);
1684 static int is_loop_device(const char *path
) {
1685 char s
[SYS_BLOCK_PATH_MAX("/../loop/")];
1690 if (stat(path
, &st
) < 0)
1693 if (!S_ISBLK(st
.st_mode
))
1696 xsprintf_sys_block_path(s
, "/loop/", st
.st_dev
);
1697 if (access(s
, F_OK
) < 0) {
1698 if (errno
!= ENOENT
)
1701 /* The device itself isn't a loop device, but maybe it's a partition and its parent is? */
1702 xsprintf_sys_block_path(s
, "/../loop/", st
.st_dev
);
1703 if (access(s
, F_OK
) < 0)
1704 return errno
== ENOENT
? false : -errno
;
1710 static int run_fsck(int node_fd
, const char *fstype
) {
1714 assert(node_fd
>= 0);
1717 r
= fsck_exists_for_fstype(fstype
);
1719 log_debug_errno(r
, "Couldn't determine whether fsck for %s exists, proceeding anyway.", fstype
);
1723 log_debug("Not checking partition %s, as fsck for %s does not exist.", FORMAT_PROC_FD_PATH(node_fd
), fstype
);
1730 &node_fd
, 1, /* Leave the node fd open */
1731 FORK_RESET_SIGNALS
|FORK_CLOSE_ALL_FDS
|FORK_RLIMIT_NOFILE_SAFE
|FORK_DEATHSIG
|FORK_REARRANGE_STDIO
|FORK_CLOEXEC_OFF
,
1734 return log_debug_errno(r
, "Failed to fork off fsck: %m");
1737 execlp("fsck", "fsck", "-aT", FORMAT_PROC_FD_PATH(node_fd
), NULL
);
1739 log_debug_errno(errno
, "Failed to execl() fsck: %m");
1740 _exit(FSCK_OPERATIONAL_ERROR
);
1743 exit_status
= wait_for_terminate_and_check("fsck", pid
, 0);
1744 if (exit_status
< 0)
1745 return log_debug_errno(exit_status
, "Failed to fork off fsck: %m");
1747 if ((exit_status
& ~FSCK_ERROR_CORRECTED
) != FSCK_SUCCESS
) {
1748 log_debug("fsck failed with exit status %i.", exit_status
);
1750 if ((exit_status
& (FSCK_SYSTEM_SHOULD_REBOOT
|FSCK_ERRORS_LEFT_UNCORRECTED
)) != 0)
1751 return log_debug_errno(SYNTHETIC_ERRNO(EUCLEAN
), "File system is corrupted, refusing.");
1753 log_debug("Ignoring fsck error.");
1759 static int fs_grow(const char *node_path
, const char *mount_path
) {
1760 _cleanup_close_
int mount_fd
= -EBADF
, node_fd
= -EBADF
;
1761 uint64_t size
, newsize
;
1764 node_fd
= open(node_path
, O_RDONLY
|O_CLOEXEC
|O_NONBLOCK
|O_NOCTTY
);
1766 return log_debug_errno(errno
, "Failed to open node device %s: %m", node_path
);
1768 if (ioctl(node_fd
, BLKGETSIZE64
, &size
) != 0)
1769 return log_debug_errno(errno
, "Failed to get block device size of %s: %m", node_path
);
1771 mount_fd
= open(mount_path
, O_RDONLY
|O_DIRECTORY
|O_CLOEXEC
);
1773 return log_debug_errno(errno
, "Failed to open mountd file system %s: %m", mount_path
);
1775 log_debug("Resizing \"%s\" to %"PRIu64
" bytes...", mount_path
, size
);
1776 r
= resize_fs(mount_fd
, size
, &newsize
);
1778 return log_debug_errno(r
, "Failed to resize \"%s\" to %"PRIu64
" bytes: %m", mount_path
, size
);
1780 if (newsize
== size
)
1781 log_debug("Successfully resized \"%s\" to %s bytes.",
1782 mount_path
, FORMAT_BYTES(newsize
));
1784 assert(newsize
< size
);
1785 log_debug("Successfully resized \"%s\" to %s bytes (%"PRIu64
" bytes lost due to blocksize).",
1786 mount_path
, FORMAT_BYTES(newsize
), size
- newsize
);
1792 int partition_pick_mount_options(
1793 PartitionDesignator d
,
1798 unsigned long *ret_ms_flags
) {
1800 _cleanup_free_
char *options
= NULL
;
1802 assert(ret_options
);
1804 /* Selects a baseline of bind mount flags, that should always apply.
1806 * Firstly, we set MS_NODEV universally on all mounts, since we don't want to allow device nodes outside of /dev/.
1808 * On /var/tmp/ we'll also set MS_NOSUID, same as we set for /tmp/ on the host.
1810 * On the ESP and XBOOTLDR partitions we'll also disable symlinks, and execution. These file systems
1811 * are generally untrusted (i.e. not encrypted or authenticated), and typically VFAT hence we should
1812 * be as restrictive as possible, and this shouldn't hurt, since the functionality is not available
1815 unsigned long flags
= MS_NODEV
;
1823 case PARTITION_XBOOTLDR
:
1824 flags
|= MS_NOSUID
|MS_NOEXEC
|ms_nosymfollow_supported();
1826 /* The ESP might contain a pre-boot random seed. Let's make this unaccessible to regular
1827 * userspace. ESP/XBOOTLDR is almost certainly VFAT, hence if we don't know assume it is. */
1828 if (!fstype
|| fstype_can_umask(fstype
))
1829 if (!strextend_with_separator(&options
, ",", "umask=0077"))
1841 /* So, when you request MS_RDONLY from ext4, then this means nothing. It happily still writes to the
1842 * backing storage. What's worse, the BLKRO[GS]ET flag and (in case of loopback devices)
1843 * LO_FLAGS_READ_ONLY don't mean anything, they affect userspace accesses only, and write accesses
1844 * from the upper file system still get propagated through to the underlying file system,
1845 * unrestricted. To actually get ext4/xfs/btrfs to stop writing to the device we need to specify
1846 * "norecovery" as mount option, in addition to MS_RDONLY. Yes, this sucks, since it means we need to
1847 * carry a per file system table here.
1849 * Note that this means that we might not be able to mount corrupted file systems as read-only
1850 * anymore (since in some cases the kernel implementations will refuse mounting when corrupted,
1851 * read-only and "norecovery" is specified). But I think for the case of automatically determined
1852 * mount options for loopback devices this is the right choice, since otherwise using the same
1853 * loopback file twice even in read-only mode, is going to fail badly sooner or later. The usecase of
1854 * making reuse of the immutable images "just work" is more relevant to us than having read-only
1855 * access that actually modifies stuff work on such image files. Or to say this differently: if
1856 * people want their file systems to be fixed up they should just open them in writable mode, where
1857 * all these problems don't exist. */
1858 if (!rw
&& fstype
&& fstype_can_norecovery(fstype
))
1859 if (!strextend_with_separator(&options
, ",", "norecovery"))
1862 if (discard
&& fstype
&& fstype_can_discard(fstype
))
1863 if (!strextend_with_separator(&options
, ",", "discard"))
1866 if (!ret_ms_flags
) /* Fold flags into option string if ret_flags specified as NULL */
1867 if (!strextend_with_separator(&options
, ",",
1868 FLAGS_SET(flags
, MS_RDONLY
) ? "ro" : "rw",
1869 FLAGS_SET(flags
, MS_NODEV
) ? "nodev" : "dev",
1870 FLAGS_SET(flags
, MS_NOSUID
) ? "nosuid" : "suid",
1871 FLAGS_SET(flags
, MS_NOEXEC
) ? "noexec" : "exec",
1872 FLAGS_SET(flags
, MS_NOSYMFOLLOW
) ? "nosymfollow" : NULL
))
1873 /* NB: we suppress 'symfollow' here, since it's the default, and old /bin/mount might not know it */
1877 *ret_ms_flags
= flags
;
1879 *ret_options
= TAKE_PTR(options
);
1883 static int mount_partition(
1884 PartitionDesignator d
,
1885 DissectedPartition
*m
,
1887 const char *directory
,
1890 DissectImageFlags flags
) {
1892 _cleanup_free_
char *chased
= NULL
, *options
= NULL
;
1893 bool rw
, discard
, remap_uid_gid
= false;
1894 const char *p
, *node
, *fstype
;
1895 unsigned long ms_flags
;
1901 if (m
->mount_node_fd
< 0)
1904 /* Use decrypted node and matching fstype if available, otherwise use the original device */
1905 node
= FORMAT_PROC_FD_PATH(m
->mount_node_fd
);
1906 fstype
= dissected_partition_fstype(m
);
1909 return -EAFNOSUPPORT
;
1911 /* We are looking at an encrypted partition? This either means stacked encryption, or the caller
1912 * didn't call dissected_image_decrypt() beforehand. Let's return a recognizable error for this
1914 if (streq(fstype
, "crypto_LUKS"))
1917 r
= dissect_fstype_ok(fstype
);
1921 return -EIDRM
; /* Recognizable error */
1923 rw
= m
->rw
&& !(flags
& DISSECT_IMAGE_MOUNT_READ_ONLY
);
1925 discard
= ((flags
& DISSECT_IMAGE_DISCARD
) ||
1926 ((flags
& DISSECT_IMAGE_DISCARD_ON_LOOP
) && is_loop_device(m
->node
) > 0));
1928 if (FLAGS_SET(flags
, DISSECT_IMAGE_FSCK
) && rw
) {
1929 r
= run_fsck(m
->mount_node_fd
, fstype
);
1935 /* Automatically create missing mount points inside the image, if necessary. */
1936 r
= mkdir_p_root(where
, directory
, uid_shift
, (gid_t
) uid_shift
, 0755);
1937 if (r
< 0 && r
!= -EROFS
)
1940 r
= chase(directory
, where
, CHASE_PREFIX_ROOT
, &chased
, NULL
);
1946 /* Create top-level mount if missing – but only if this is asked for. This won't modify the
1947 * image (as the branch above does) but the host hierarchy, and the created directory might
1948 * survive our mount in the host hierarchy hence. */
1949 if (FLAGS_SET(flags
, DISSECT_IMAGE_MKDIR
)) {
1950 r
= mkdir_p(where
, 0755);
1958 r
= partition_pick_mount_options(d
, dissected_partition_fstype(m
), rw
, discard
, &options
, &ms_flags
);
1962 if (uid_is_valid(uid_shift
) && uid_shift
!= 0) {
1964 if (fstype_can_uid_gid(fstype
)) {
1965 _cleanup_free_
char *uid_option
= NULL
;
1967 if (asprintf(&uid_option
, "uid=" UID_FMT
",gid=" GID_FMT
, uid_shift
, (gid_t
) uid_shift
) < 0)
1970 if (!strextend_with_separator(&options
, ",", uid_option
))
1972 } else if (FLAGS_SET(flags
, DISSECT_IMAGE_MOUNT_IDMAPPED
))
1973 remap_uid_gid
= true;
1976 if (!isempty(m
->mount_options
))
1977 if (!strextend_with_separator(&options
, ",", m
->mount_options
))
1980 r
= mount_nofollow_verbose(LOG_DEBUG
, node
, p
, fstype
, ms_flags
, options
);
1984 if (rw
&& m
->growfs
&& FLAGS_SET(flags
, DISSECT_IMAGE_GROWFS
))
1985 (void) fs_grow(node
, p
);
1987 if (remap_uid_gid
) {
1988 r
= remount_idmap(p
, uid_shift
, uid_range
, UID_INVALID
, REMOUNT_IDMAPPING_HOST_ROOT
);
1996 static int mount_root_tmpfs(const char *where
, uid_t uid_shift
, DissectImageFlags flags
) {
1997 _cleanup_free_
char *options
= NULL
;
2002 /* For images that contain /usr/ but no rootfs, let's mount rootfs as tmpfs */
2004 if (FLAGS_SET(flags
, DISSECT_IMAGE_MKDIR
)) {
2005 r
= mkdir_p(where
, 0755);
2010 if (uid_is_valid(uid_shift
)) {
2011 if (asprintf(&options
, "uid=" UID_FMT
",gid=" GID_FMT
, uid_shift
, (gid_t
) uid_shift
) < 0)
2015 r
= mount_nofollow_verbose(LOG_DEBUG
, "rootfs", where
, "tmpfs", MS_NODEV
, options
);
2022 static int mount_point_is_available(const char *where
, const char *path
, bool missing_ok
) {
2023 _cleanup_free_
char *p
= NULL
;
2026 /* Check whether <path> is suitable as a mountpoint, i.e. is an empty directory
2027 * or does not exist at all (when missing_ok). */
2029 r
= chase(path
, where
, CHASE_PREFIX_ROOT
, &p
, NULL
);
2033 return log_debug_errno(r
, "Failed to chase \"%s\": %m", path
);
2035 r
= dir_is_empty(p
, /* ignore_hidden_or_backup= */ false);
2039 return log_debug_errno(r
, "Failed to check directory \"%s\": %m", p
);
2043 int dissected_image_mount(
2048 DissectImageFlags flags
) {
2057 * -ENXIO → No root partition found
2058 * -EMEDIUMTYPE → DISSECT_IMAGE_VALIDATE_OS set but no os-release/extension-release file found
2059 * -EUNATCH → Encrypted partition found for which no dm-crypt was set up yet
2060 * -EUCLEAN → fsck for file system failed
2061 * -EBUSY → File system already mounted/used elsewhere (kernel)
2062 * -EAFNOSUPPORT → File system type not supported or not known
2063 * -EIDRM → File system is not among allowlisted "common" file systems
2066 if (!(m
->partitions
[PARTITION_ROOT
].found
||
2067 (m
->partitions
[PARTITION_USR
].found
&& FLAGS_SET(flags
, DISSECT_IMAGE_USR_NO_ROOT
))))
2068 return -ENXIO
; /* Require a root fs or at least a /usr/ fs (the latter is subject to a flag of its own) */
2070 if ((flags
& DISSECT_IMAGE_MOUNT_NON_ROOT_ONLY
) == 0) {
2072 /* First mount the root fs. If there's none we use a tmpfs. */
2073 if (m
->partitions
[PARTITION_ROOT
].found
)
2074 r
= mount_partition(PARTITION_ROOT
, m
->partitions
+ PARTITION_ROOT
, where
, NULL
, uid_shift
, uid_range
, flags
);
2076 r
= mount_root_tmpfs(where
, uid_shift
, flags
);
2080 /* For us mounting root always means mounting /usr as well */
2081 r
= mount_partition(PARTITION_USR
, m
->partitions
+ PARTITION_USR
, where
, "/usr", uid_shift
, uid_range
, flags
);
2085 if ((flags
& (DISSECT_IMAGE_VALIDATE_OS
|DISSECT_IMAGE_VALIDATE_OS_EXT
)) != 0) {
2086 /* If either one of the validation flags are set, ensure that the image qualifies
2087 * as one or the other (or both). */
2090 if (FLAGS_SET(flags
, DISSECT_IMAGE_VALIDATE_OS
)) {
2091 r
= path_is_os_tree(where
);
2097 if (!ok
&& FLAGS_SET(flags
, DISSECT_IMAGE_VALIDATE_OS_EXT
)) {
2098 r
= extension_has_forbidden_content(where
);
2102 r
= path_is_extension_tree(IMAGE_SYSEXT
, where
, m
->image_name
, FLAGS_SET(flags
, DISSECT_IMAGE_RELAX_SYSEXT_CHECK
));
2115 if (flags
& DISSECT_IMAGE_MOUNT_ROOT_ONLY
)
2118 r
= mount_partition(PARTITION_HOME
, m
->partitions
+ PARTITION_HOME
, where
, "/home", uid_shift
, uid_range
, flags
);
2122 r
= mount_partition(PARTITION_SRV
, m
->partitions
+ PARTITION_SRV
, where
, "/srv", uid_shift
, uid_range
, flags
);
2126 r
= mount_partition(PARTITION_VAR
, m
->partitions
+ PARTITION_VAR
, where
, "/var", uid_shift
, uid_range
, flags
);
2130 r
= mount_partition(PARTITION_TMP
, m
->partitions
+ PARTITION_TMP
, where
, "/var/tmp", uid_shift
, uid_range
, flags
);
2134 int slash_boot_is_available
;
2135 r
= slash_boot_is_available
= mount_point_is_available(where
, "/boot", /* missing_ok = */ true);
2139 r
= mount_partition(PARTITION_XBOOTLDR
, m
->partitions
+ PARTITION_XBOOTLDR
, where
, "/boot", uid_shift
, uid_range
, flags
);
2142 slash_boot_is_available
= !r
;
2145 if (m
->partitions
[PARTITION_ESP
].found
) {
2146 const char *esp_path
= NULL
;
2148 /* Mount the ESP to /boot/ if it exists and is empty and we didn't already mount the XBOOTLDR
2149 * partition into it. Otherwise, use /efi instead, but only if it exists and is empty. */
2151 if (slash_boot_is_available
) {
2152 r
= mount_point_is_available(where
, "/boot", /* missing_ok = */ false);
2160 r
= mount_point_is_available(where
, "/efi", /* missing_ok = */ true);
2168 /* OK, let's mount the ESP now (possibly creating the dir if missing) */
2169 r
= mount_partition(PARTITION_ESP
, m
->partitions
+ PARTITION_ESP
, where
, esp_path
, uid_shift
, uid_range
, flags
);
2178 int dissected_image_mount_and_warn(
2183 DissectImageFlags flags
) {
2190 r
= dissected_image_mount(m
, where
, uid_shift
, uid_range
, flags
);
2192 return log_error_errno(r
, "Not root file system found in image.");
2193 if (r
== -EMEDIUMTYPE
)
2194 return log_error_errno(r
, "No suitable os-release/extension-release file in image found.");
2196 return log_error_errno(r
, "Encrypted file system discovered, but decryption not requested.");
2198 return log_error_errno(r
, "File system check on image failed.");
2200 return log_error_errno(r
, "File system already mounted elsewhere.");
2201 if (r
== -EAFNOSUPPORT
)
2202 return log_error_errno(r
, "File system type not supported or not known.");
2204 return log_error_errno(r
, "File system is too uncommon, refused.");
2206 return log_error_errno(r
, "Failed to mount image: %m");
2211 #if HAVE_LIBCRYPTSETUP
2212 struct DecryptedPartition
{
2213 struct crypt_device
*device
;
2219 typedef struct DecryptedPartition DecryptedPartition
;
2221 struct DecryptedImage
{
2223 DecryptedPartition
*decrypted
;
2227 static DecryptedImage
* decrypted_image_free(DecryptedImage
*d
) {
2228 #if HAVE_LIBCRYPTSETUP
2234 for (size_t i
= 0; i
< d
->n_decrypted
; i
++) {
2235 DecryptedPartition
*p
= d
->decrypted
+ i
;
2237 if (p
->device
&& p
->name
&& !p
->relinquished
) {
2238 _cleanup_free_
char *node
= NULL
;
2240 node
= path_join("/dev/mapper", p
->name
);
2242 r
= btrfs_forget_device(node
);
2243 if (r
< 0 && r
!= -ENOENT
)
2244 log_debug_errno(r
, "Failed to forget btrfs device %s, ignoring: %m", node
);
2248 /* Let's deactivate lazily, as the dm volume may be already/still used by other processes. */
2249 r
= sym_crypt_deactivate_by_name(p
->device
, p
->name
, CRYPT_DEACTIVATE_DEFERRED
);
2251 log_debug_errno(r
, "Failed to deactivate encrypted partition %s", p
->name
);
2255 sym_crypt_free(p
->device
);
2265 DEFINE_TRIVIAL_REF_UNREF_FUNC(DecryptedImage
, decrypted_image
, decrypted_image_free
);
2267 #if HAVE_LIBCRYPTSETUP
2268 static int decrypted_image_new(DecryptedImage
**ret
) {
2269 _cleanup_(decrypted_image_unrefp
) DecryptedImage
*d
= NULL
;
2273 d
= new(DecryptedImage
, 1);
2277 *d
= (DecryptedImage
) {
2285 static int make_dm_name_and_node(const void *original_node
, const char *suffix
, char **ret_name
, char **ret_node
) {
2286 _cleanup_free_
char *name
= NULL
, *node
= NULL
;
2289 assert(original_node
);
2294 base
= strrchr(original_node
, '/');
2296 base
= original_node
;
2302 name
= strjoin(base
, suffix
);
2305 if (!filename_is_valid(name
))
2308 node
= path_join(sym_crypt_get_dir(), name
);
2312 *ret_name
= TAKE_PTR(name
);
2313 *ret_node
= TAKE_PTR(node
);
2318 static int decrypt_partition(
2319 DissectedPartition
*m
,
2320 const char *passphrase
,
2321 DissectImageFlags flags
,
2322 DecryptedImage
*d
) {
2324 _cleanup_free_
char *node
= NULL
, *name
= NULL
;
2325 _cleanup_(sym_crypt_freep
) struct crypt_device
*cd
= NULL
;
2326 _cleanup_close_
int fd
= -EBADF
;
2332 if (!m
->found
|| !m
->node
|| !m
->fstype
)
2335 if (!streq(m
->fstype
, "crypto_LUKS"))
2341 r
= dlopen_cryptsetup();
2345 r
= make_dm_name_and_node(m
->node
, "-decrypted", &name
, &node
);
2349 if (!GREEDY_REALLOC0(d
->decrypted
, d
->n_decrypted
+ 1))
2352 r
= sym_crypt_init(&cd
, m
->node
);
2354 return log_debug_errno(r
, "Failed to initialize dm-crypt: %m");
2356 cryptsetup_enable_logging(cd
);
2358 r
= sym_crypt_load(cd
, CRYPT_LUKS
, NULL
);
2360 return log_debug_errno(r
, "Failed to load LUKS metadata: %m");
2362 r
= sym_crypt_activate_by_passphrase(cd
, name
, CRYPT_ANY_SLOT
, passphrase
, strlen(passphrase
),
2363 ((flags
& DISSECT_IMAGE_DEVICE_READ_ONLY
) ? CRYPT_ACTIVATE_READONLY
: 0) |
2364 ((flags
& DISSECT_IMAGE_DISCARD_ON_CRYPTO
) ? CRYPT_ACTIVATE_ALLOW_DISCARDS
: 0));
2366 log_debug_errno(r
, "Failed to activate LUKS device: %m");
2367 return r
== -EPERM
? -EKEYREJECTED
: r
;
2370 fd
= open(node
, O_RDONLY
|O_NONBLOCK
|O_CLOEXEC
|O_NOCTTY
);
2372 return log_debug_errno(errno
, "Failed to open %s: %m", node
);
2374 d
->decrypted
[d
->n_decrypted
++] = (DecryptedPartition
) {
2375 .name
= TAKE_PTR(name
),
2376 .device
= TAKE_PTR(cd
),
2379 m
->decrypted_node
= TAKE_PTR(node
);
2380 close_and_replace(m
->mount_node_fd
, fd
);
2385 static int verity_can_reuse(
2386 const VeritySettings
*verity
,
2388 struct crypt_device
**ret_cd
) {
2390 /* If the same volume was already open, check that the root hashes match, and reuse it if they do */
2391 _cleanup_free_
char *root_hash_existing
= NULL
;
2392 _cleanup_(sym_crypt_freep
) struct crypt_device
*cd
= NULL
;
2393 struct crypt_params_verity crypt_params
= {};
2394 size_t root_hash_existing_size
;
2401 r
= sym_crypt_init_by_name(&cd
, name
);
2403 return log_debug_errno(r
, "Error opening verity device, crypt_init_by_name failed: %m");
2405 cryptsetup_enable_logging(cd
);
2407 r
= sym_crypt_get_verity_info(cd
, &crypt_params
);
2409 return log_debug_errno(r
, "Error opening verity device, crypt_get_verity_info failed: %m");
2411 root_hash_existing_size
= verity
->root_hash_size
;
2412 root_hash_existing
= malloc0(root_hash_existing_size
);
2413 if (!root_hash_existing
)
2416 r
= sym_crypt_volume_key_get(cd
, CRYPT_ANY_SLOT
, root_hash_existing
, &root_hash_existing_size
, NULL
, 0);
2418 return log_debug_errno(r
, "Error opening verity device, crypt_volume_key_get failed: %m");
2419 if (verity
->root_hash_size
!= root_hash_existing_size
||
2420 memcmp(root_hash_existing
, verity
->root_hash
, verity
->root_hash_size
) != 0)
2421 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "Error opening verity device, it already exists but root hashes are different.");
2423 #if HAVE_CRYPT_ACTIVATE_BY_SIGNED_KEY
2424 /* Ensure that, if signatures are supported, we only reuse the device if the previous mount used the
2425 * same settings, so that a previous unsigned mount will not be reused if the user asks to use
2426 * signing for the new one, and vice versa. */
2427 if (!!verity
->root_hash_sig
!= !!(crypt_params
.flags
& CRYPT_VERITY_ROOT_HASH_SIGNATURE
))
2428 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "Error opening verity device, it already exists but signature settings are not the same.");
2431 *ret_cd
= TAKE_PTR(cd
);
2435 static inline char* dm_deferred_remove_clean(char *name
) {
2439 (void) sym_crypt_deactivate_by_name(NULL
, name
, CRYPT_DEACTIVATE_DEFERRED
);
2442 DEFINE_TRIVIAL_CLEANUP_FUNC(char *, dm_deferred_remove_clean
);
2444 static int validate_signature_userspace(const VeritySettings
*verity
) {
2446 _cleanup_(sk_X509_free_allp
) STACK_OF(X509
) *sk
= NULL
;
2447 _cleanup_strv_free_
char **certs
= NULL
;
2448 _cleanup_(PKCS7_freep
) PKCS7
*p7
= NULL
;
2449 _cleanup_free_
char *s
= NULL
;
2450 _cleanup_(BIO_freep
) BIO
*bio
= NULL
; /* 'bio' must be freed first, 's' second, hence keep this order
2451 * of declaration in place, please */
2452 const unsigned char *d
;
2456 assert(verity
->root_hash
);
2457 assert(verity
->root_hash_sig
);
2459 /* Because installing a signature certificate into the kernel chain is so messy, let's optionally do
2460 * userspace validation. */
2462 r
= conf_files_list_nulstr(&certs
, ".crt", NULL
, CONF_FILES_REGULAR
|CONF_FILES_FILTER_MASKED
, CONF_PATHS_NULSTR("verity.d"));
2464 return log_debug_errno(r
, "Failed to enumerate certificates: %m");
2465 if (strv_isempty(certs
)) {
2466 log_debug("No userspace dm-verity certificates found.");
2470 d
= verity
->root_hash_sig
;
2471 p7
= d2i_PKCS7(NULL
, &d
, (long) verity
->root_hash_sig_size
);
2473 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "Failed to parse PKCS7 DER signature data.");
2475 s
= hexmem(verity
->root_hash
, verity
->root_hash_size
);
2477 return log_oom_debug();
2479 bio
= BIO_new_mem_buf(s
, strlen(s
));
2481 return log_oom_debug();
2483 sk
= sk_X509_new_null();
2485 return log_oom_debug();
2487 STRV_FOREACH(i
, certs
) {
2488 _cleanup_(X509_freep
) X509
*c
= NULL
;
2489 _cleanup_fclose_
FILE *f
= NULL
;
2491 f
= fopen(*i
, "re");
2493 log_debug_errno(errno
, "Failed to open '%s', ignoring: %m", *i
);
2497 c
= PEM_read_X509(f
, NULL
, NULL
, NULL
);
2499 log_debug("Failed to load X509 certificate '%s', ignoring.", *i
);
2503 if (sk_X509_push(sk
, c
) == 0)
2504 return log_oom_debug();
2509 r
= PKCS7_verify(p7
, sk
, NULL
, bio
, NULL
, PKCS7_NOINTERN
|PKCS7_NOVERIFY
);
2511 log_debug("Userspace PKCS#7 validation succeeded.");
2513 log_debug("Userspace PKCS#7 validation failed: %s", ERR_error_string(ERR_get_error(), NULL
));
2517 log_debug("Not doing client-side validation of dm-verity root hash signatures, OpenSSL support disabled.");
2522 static int do_crypt_activate_verity(
2523 struct crypt_device
*cd
,
2525 const VeritySettings
*verity
) {
2527 bool check_signature
;
2534 if (verity
->root_hash_sig
) {
2535 r
= getenv_bool_secure("SYSTEMD_DISSECT_VERITY_SIGNATURE");
2536 if (r
< 0 && r
!= -ENXIO
)
2537 log_debug_errno(r
, "Failed to parse $SYSTEMD_DISSECT_VERITY_SIGNATURE");
2539 check_signature
= r
!= 0;
2541 check_signature
= false;
2543 if (check_signature
) {
2545 #if HAVE_CRYPT_ACTIVATE_BY_SIGNED_KEY
2546 /* First, if we have support for signed keys in the kernel, then try that first. */
2547 r
= sym_crypt_activate_by_signed_key(
2551 verity
->root_hash_size
,
2552 verity
->root_hash_sig
,
2553 verity
->root_hash_sig_size
,
2554 CRYPT_ACTIVATE_READONLY
);
2558 log_debug("Validation of dm-verity signature failed via the kernel, trying userspace validation instead.");
2560 log_debug("Activation of verity device with signature requested, but not supported via the kernel by %s due to missing crypt_activate_by_signed_key(), trying userspace validation instead.",
2561 program_invocation_short_name
);
2564 /* So this didn't work via the kernel, then let's try userspace validation instead. If that
2565 * works we'll try to activate without telling the kernel the signature. */
2567 r
= validate_signature_userspace(verity
);
2571 return log_debug_errno(SYNTHETIC_ERRNO(ENOKEY
),
2572 "Activation of signed Verity volume worked neither via the kernel nor in userspace, can't activate.");
2575 return sym_crypt_activate_by_volume_key(
2579 verity
->root_hash_size
,
2580 CRYPT_ACTIVATE_READONLY
);
2583 static usec_t
verity_timeout(void) {
2584 usec_t t
= 100 * USEC_PER_MSEC
;
2588 /* On slower machines, like non-KVM vm, setting up device may take a long time.
2589 * Let's make the timeout configurable. */
2591 e
= getenv("SYSTEMD_DISSECT_VERITY_TIMEOUT_SEC");
2595 r
= parse_sec(e
, &t
);
2598 "Failed to parse timeout specified in $SYSTEMD_DISSECT_VERITY_TIMEOUT_SEC, "
2599 "using the default timeout (%s).",
2600 FORMAT_TIMESPAN(t
, USEC_PER_MSEC
));
2605 static int verity_partition(
2606 PartitionDesignator designator
,
2607 DissectedPartition
*m
,
2608 DissectedPartition
*v
,
2609 const VeritySettings
*verity
,
2610 DissectImageFlags flags
,
2611 DecryptedImage
*d
) {
2613 _cleanup_(sym_crypt_freep
) struct crypt_device
*cd
= NULL
;
2614 _cleanup_(dm_deferred_remove_cleanp
) char *restore_deferred_remove
= NULL
;
2615 _cleanup_free_
char *node
= NULL
, *name
= NULL
;
2616 _cleanup_close_
int mount_node_fd
= -EBADF
;
2620 assert(v
|| (verity
&& verity
->data_path
));
2622 if (!verity
|| !verity
->root_hash
)
2624 if (!((verity
->designator
< 0 && designator
== PARTITION_ROOT
) ||
2625 (verity
->designator
== designator
)))
2628 if (!m
->found
|| !m
->node
|| !m
->fstype
)
2630 if (!verity
->data_path
) {
2631 if (!v
->found
|| !v
->node
|| !v
->fstype
)
2634 if (!streq(v
->fstype
, "DM_verity_hash"))
2638 r
= dlopen_cryptsetup();
2642 if (FLAGS_SET(flags
, DISSECT_IMAGE_VERITY_SHARE
)) {
2643 /* Use the roothash, which is unique per volume, as the device node name, so that it can be reused */
2644 _cleanup_free_
char *root_hash_encoded
= NULL
;
2646 root_hash_encoded
= hexmem(verity
->root_hash
, verity
->root_hash_size
);
2647 if (!root_hash_encoded
)
2650 r
= make_dm_name_and_node(root_hash_encoded
, "-verity", &name
, &node
);
2652 r
= make_dm_name_and_node(m
->node
, "-verity", &name
, &node
);
2656 r
= sym_crypt_init(&cd
, verity
->data_path
?: v
->node
);
2660 cryptsetup_enable_logging(cd
);
2662 r
= sym_crypt_load(cd
, CRYPT_VERITY
, NULL
);
2666 r
= sym_crypt_set_data_device(cd
, m
->node
);
2670 if (!GREEDY_REALLOC0(d
->decrypted
, d
->n_decrypted
+ 1))
2673 /* If activating fails because the device already exists, check the metadata and reuse it if it matches.
2674 * In case of ENODEV/ENOENT, which can happen if another process is activating at the exact same time,
2675 * retry a few times before giving up. */
2676 for (unsigned i
= 0; i
< N_DEVICE_NODE_LIST_ATTEMPTS
; i
++) {
2677 _cleanup_(sym_crypt_freep
) struct crypt_device
*existing_cd
= NULL
;
2678 _cleanup_close_
int fd
= -EBADF
;
2680 /* First, check if the device already exists. */
2681 fd
= open(node
, O_RDONLY
|O_NONBLOCK
|O_CLOEXEC
|O_NOCTTY
);
2682 if (fd
< 0 && !ERRNO_IS_DEVICE_ABSENT(errno
))
2683 return log_debug_errno(errno
, "Failed to open verity device %s: %m", node
);
2685 goto check
; /* The device already exists. Let's check it. */
2687 /* The symlink to the device node does not exist yet. Assume not activated, and let's activate it. */
2688 r
= do_crypt_activate_verity(cd
, name
, verity
);
2690 goto try_open
; /* The device is activated. Let's open it. */
2691 /* libdevmapper can return EINVAL when the device is already in the activation stage.
2692 * There's no way to distinguish this situation from a genuine error due to invalid
2693 * parameters, so immediately fall back to activating the device with a unique name.
2694 * Improvements in libcrypsetup can ensure this never happens:
2695 * https://gitlab.com/cryptsetup/cryptsetup/-/merge_requests/96 */
2696 if (r
== -EINVAL
&& FLAGS_SET(flags
, DISSECT_IMAGE_VERITY_SHARE
))
2698 if (r
== -ENODEV
) /* Volume is being opened but not ready, crypt_init_by_name would fail, try to open again */
2701 -EEXIST
, /* Volume has already been opened and ready to be used. */
2702 -EBUSY
/* Volume is being opened but not ready, crypt_init_by_name() can fetch details. */))
2703 return log_debug_errno(r
, "Failed to activate verity device %s: %m", node
);
2706 if (!restore_deferred_remove
){
2707 /* To avoid races, disable automatic removal on umount while setting up the new device. Restore it on failure. */
2708 r
= dm_deferred_remove_cancel(name
);
2709 /* -EBUSY and -ENXIO: the device has already been removed or being removed. We cannot
2710 * use the device, try to open again. See target_message() in drivers/md/dm-ioctl.c
2711 * and dm_cancel_deferred_remove() in drivers/md/dm.c */
2712 if (IN_SET(r
, -EBUSY
, -ENXIO
))
2715 return log_debug_errno(r
, "Failed to disable automated deferred removal for verity device %s: %m", node
);
2717 restore_deferred_remove
= strdup(name
);
2718 if (!restore_deferred_remove
)
2719 return log_oom_debug();
2722 r
= verity_can_reuse(verity
, name
, &existing_cd
);
2723 /* Same as above, -EINVAL can randomly happen when it actually means -EEXIST */
2724 if (r
== -EINVAL
&& FLAGS_SET(flags
, DISSECT_IMAGE_VERITY_SHARE
))
2727 -ENOENT
, /* Removed?? */
2728 -EBUSY
, /* Volume is being opened but not ready, crypt_init_by_name() can fetch details. */
2729 -ENODEV
/* Volume is being opened but not ready, crypt_init_by_name() would fail, try to open again. */ ))
2732 return log_debug_errno(r
, "Failed to check if existing verity device %s can be reused: %m", node
);
2735 /* devmapper might say that the device exists, but the devlink might not yet have been
2736 * created. Check and wait for the udev event in that case. */
2737 r
= device_wait_for_devlink(node
, "block", verity_timeout(), NULL
);
2738 /* Fallback to activation with a unique device if it's taking too long */
2739 if (r
== -ETIMEDOUT
&& FLAGS_SET(flags
, DISSECT_IMAGE_VERITY_SHARE
))
2742 return log_debug_errno(r
, "Failed to wait device node symlink %s: %m", node
);
2747 /* Now, the device is activated and devlink is created. Let's open it. */
2748 fd
= open(node
, O_RDONLY
|O_NONBLOCK
|O_CLOEXEC
|O_NOCTTY
);
2750 if (!ERRNO_IS_DEVICE_ABSENT(errno
))
2751 return log_debug_errno(errno
, "Failed to open verity device %s: %m", node
);
2753 /* The device has already been removed?? */
2758 mount_node_fd
= TAKE_FD(fd
);
2760 crypt_free_and_replace(cd
, existing_cd
);
2765 /* Device is being removed by another process. Let's wait for a while. */
2766 (void) usleep(2 * USEC_PER_MSEC
);
2769 /* All trials failed or a conflicting verity device exists. Let's try to activate with a unique name. */
2770 if (FLAGS_SET(flags
, DISSECT_IMAGE_VERITY_SHARE
)) {
2771 /* Before trying to activate with unique name, we need to free crypt_device object.
2772 * Otherwise, we get error from libcryptsetup like the following:
2774 * systemd[1234]: Cannot use device /dev/loop5 which is in use (already mapped or mounted).
2779 return verity_partition(designator
, m
, v
, verity
, flags
& ~DISSECT_IMAGE_VERITY_SHARE
, d
);
2782 return log_debug_errno(SYNTHETIC_ERRNO(EBUSY
), "All attempts to activate verity device %s failed.", name
);
2785 /* Everything looks good and we'll be able to mount the device, so deferred remove will be re-enabled at that point. */
2786 restore_deferred_remove
= mfree(restore_deferred_remove
);
2788 d
->decrypted
[d
->n_decrypted
++] = (DecryptedPartition
) {
2789 .name
= TAKE_PTR(name
),
2790 .device
= TAKE_PTR(cd
),
2793 m
->decrypted_node
= TAKE_PTR(node
);
2794 close_and_replace(m
->mount_node_fd
, mount_node_fd
);
2800 int dissected_image_decrypt(
2802 const char *passphrase
,
2803 const VeritySettings
*verity
,
2804 DissectImageFlags flags
) {
2806 #if HAVE_LIBCRYPTSETUP
2807 _cleanup_(decrypted_image_unrefp
) DecryptedImage
*d
= NULL
;
2812 assert(!verity
|| verity
->root_hash
|| verity
->root_hash_size
== 0);
2816 * = 0 → There was nothing to decrypt
2817 * > 0 → Decrypted successfully
2818 * -ENOKEY → There's something to decrypt but no key was supplied
2819 * -EKEYREJECTED → Passed key was not correct
2822 if (verity
&& verity
->root_hash
&& verity
->root_hash_size
< sizeof(sd_id128_t
))
2825 if (!m
->encrypted
&& !m
->verity_ready
)
2828 #if HAVE_LIBCRYPTSETUP
2829 r
= decrypted_image_new(&d
);
2833 for (PartitionDesignator i
= 0; i
< _PARTITION_DESIGNATOR_MAX
; i
++) {
2834 DissectedPartition
*p
= m
->partitions
+ i
;
2835 PartitionDesignator k
;
2840 r
= decrypt_partition(p
, passphrase
, flags
, d
);
2844 k
= partition_verity_of(i
);
2846 r
= verity_partition(i
, p
, m
->partitions
+ k
, verity
, flags
| DISSECT_IMAGE_VERITY_SHARE
, d
);
2851 if (!p
->decrypted_fstype
&& p
->mount_node_fd
>= 0 && p
->decrypted_node
) {
2852 r
= probe_filesystem_full(p
->mount_node_fd
, p
->decrypted_node
, 0, UINT64_MAX
, &p
->decrypted_fstype
);
2853 if (r
< 0 && r
!= -EUCLEAN
)
2858 m
->decrypted_image
= TAKE_PTR(d
);
2866 int dissected_image_decrypt_interactively(
2868 const char *passphrase
,
2869 const VeritySettings
*verity
,
2870 DissectImageFlags flags
) {
2872 _cleanup_strv_free_erase_
char **z
= NULL
;
2879 r
= dissected_image_decrypt(m
, passphrase
, verity
, flags
);
2882 if (r
== -EKEYREJECTED
)
2883 log_error_errno(r
, "Incorrect passphrase, try again!");
2884 else if (r
!= -ENOKEY
)
2885 return log_error_errno(r
, "Failed to decrypt image: %m");
2888 return log_error_errno(SYNTHETIC_ERRNO(EKEYREJECTED
),
2889 "Too many retries.");
2893 r
= ask_password_auto("Please enter image passphrase:", NULL
, "dissect", "dissect", "dissect.passphrase", USEC_INFINITY
, 0, &z
);
2895 return log_error_errno(r
, "Failed to query for passphrase: %m");
2901 static int decrypted_image_relinquish(DecryptedImage
*d
) {
2904 /* Turns on automatic removal after the last use ended for all DM devices of this image, and sets a
2905 * boolean so that we don't clean it up ourselves either anymore */
2907 #if HAVE_LIBCRYPTSETUP
2910 for (size_t i
= 0; i
< d
->n_decrypted
; i
++) {
2911 DecryptedPartition
*p
= d
->decrypted
+ i
;
2913 if (p
->relinquished
)
2916 r
= sym_crypt_deactivate_by_name(NULL
, p
->name
, CRYPT_DEACTIVATE_DEFERRED
);
2918 return log_debug_errno(r
, "Failed to mark %s for auto-removal: %m", p
->name
);
2920 p
->relinquished
= true;
2927 int dissected_image_relinquish(DissectedImage
*m
) {
2932 if (m
->decrypted_image
) {
2933 r
= decrypted_image_relinquish(m
->decrypted_image
);
2939 loop_device_relinquish(m
->loop
);
2944 static char *build_auxiliary_path(const char *image
, const char *suffix
) {
2951 e
= endswith(image
, ".raw");
2953 return strjoin(e
, suffix
);
2955 n
= new(char, e
- image
+ strlen(suffix
) + 1);
2959 strcpy(mempcpy(n
, image
, e
- image
), suffix
);
2963 void verity_settings_done(VeritySettings
*v
) {
2966 v
->root_hash
= mfree(v
->root_hash
);
2967 v
->root_hash_size
= 0;
2969 v
->root_hash_sig
= mfree(v
->root_hash_sig
);
2970 v
->root_hash_sig_size
= 0;
2972 v
->data_path
= mfree(v
->data_path
);
2975 int verity_settings_load(
2976 VeritySettings
*verity
,
2978 const char *root_hash_path
,
2979 const char *root_hash_sig_path
) {
2981 _cleanup_free_
void *root_hash
= NULL
, *root_hash_sig
= NULL
;
2982 size_t root_hash_size
= 0, root_hash_sig_size
= 0;
2983 _cleanup_free_
char *verity_data_path
= NULL
;
2984 PartitionDesignator designator
;
2989 assert(verity
->designator
< 0 || IN_SET(verity
->designator
, PARTITION_ROOT
, PARTITION_USR
));
2991 /* If we are asked to load the root hash for a device node, exit early */
2992 if (is_device_path(image
))
2995 r
= getenv_bool_secure("SYSTEMD_DISSECT_VERITY_SIDECAR");
2996 if (r
< 0 && r
!= -ENXIO
)
2997 log_debug_errno(r
, "Failed to parse $SYSTEMD_DISSECT_VERITY_SIDECAR, ignoring: %m");
3001 designator
= verity
->designator
;
3003 /* We only fill in what isn't already filled in */
3005 if (!verity
->root_hash
) {
3006 _cleanup_free_
char *text
= NULL
;
3008 if (root_hash_path
) {
3009 /* If explicitly specified it takes precedence */
3010 r
= read_one_line_file(root_hash_path
, &text
);
3015 designator
= PARTITION_ROOT
;
3017 /* Otherwise look for xattr and separate file, and first for the data for root and if
3018 * that doesn't exist for /usr */
3020 if (designator
< 0 || designator
== PARTITION_ROOT
) {
3021 r
= getxattr_malloc(image
, "user.verity.roothash", &text
);
3023 _cleanup_free_
char *p
= NULL
;
3025 if (r
!= -ENOENT
&& !ERRNO_IS_XATTR_ABSENT(r
))
3028 p
= build_auxiliary_path(image
, ".roothash");
3032 r
= read_one_line_file(p
, &text
);
3033 if (r
< 0 && r
!= -ENOENT
)
3038 designator
= PARTITION_ROOT
;
3041 if (!text
&& (designator
< 0 || designator
== PARTITION_USR
)) {
3042 /* So in the "roothash" xattr/file name above the "root" of course primarily
3043 * refers to the root of the Verity Merkle tree. But coincidentally it also
3044 * is the hash for the *root* file system, i.e. the "root" neatly refers to
3045 * two distinct concepts called "root". Taking benefit of this happy
3046 * coincidence we call the file with the root hash for the /usr/ file system
3047 * `usrhash`, because `usrroothash` or `rootusrhash` would just be too
3048 * confusing. We thus drop the reference to the root of the Merkle tree, and
3049 * just indicate which file system it's about. */
3050 r
= getxattr_malloc(image
, "user.verity.usrhash", &text
);
3052 _cleanup_free_
char *p
= NULL
;
3054 if (r
!= -ENOENT
&& !ERRNO_IS_XATTR_ABSENT(r
))
3057 p
= build_auxiliary_path(image
, ".usrhash");
3061 r
= read_one_line_file(p
, &text
);
3062 if (r
< 0 && r
!= -ENOENT
)
3067 designator
= PARTITION_USR
;
3072 r
= unhexmem(text
, strlen(text
), &root_hash
, &root_hash_size
);
3075 if (root_hash_size
< sizeof(sd_id128_t
))
3080 if ((root_hash
|| verity
->root_hash
) && !verity
->root_hash_sig
) {
3081 if (root_hash_sig_path
) {
3082 r
= read_full_file(root_hash_sig_path
, (char**) &root_hash_sig
, &root_hash_sig_size
);
3083 if (r
< 0 && r
!= -ENOENT
)
3087 designator
= PARTITION_ROOT
;
3089 if (designator
< 0 || designator
== PARTITION_ROOT
) {
3090 _cleanup_free_
char *p
= NULL
;
3092 /* Follow naming convention recommended by the relevant RFC:
3093 * https://tools.ietf.org/html/rfc5751#section-3.2.1 */
3094 p
= build_auxiliary_path(image
, ".roothash.p7s");
3098 r
= read_full_file(p
, (char**) &root_hash_sig
, &root_hash_sig_size
);
3099 if (r
< 0 && r
!= -ENOENT
)
3102 designator
= PARTITION_ROOT
;
3105 if (!root_hash_sig
&& (designator
< 0 || designator
== PARTITION_USR
)) {
3106 _cleanup_free_
char *p
= NULL
;
3108 p
= build_auxiliary_path(image
, ".usrhash.p7s");
3112 r
= read_full_file(p
, (char**) &root_hash_sig
, &root_hash_sig_size
);
3113 if (r
< 0 && r
!= -ENOENT
)
3116 designator
= PARTITION_USR
;
3120 if (root_hash_sig
&& root_hash_sig_size
== 0) /* refuse empty size signatures */
3124 if (!verity
->data_path
) {
3125 _cleanup_free_
char *p
= NULL
;
3127 p
= build_auxiliary_path(image
, ".verity");
3131 if (access(p
, F_OK
) < 0) {
3132 if (errno
!= ENOENT
)
3135 verity_data_path
= TAKE_PTR(p
);
3139 verity
->root_hash
= TAKE_PTR(root_hash
);
3140 verity
->root_hash_size
= root_hash_size
;
3143 if (root_hash_sig
) {
3144 verity
->root_hash_sig
= TAKE_PTR(root_hash_sig
);
3145 verity
->root_hash_sig_size
= root_hash_sig_size
;
3148 if (verity_data_path
)
3149 verity
->data_path
= TAKE_PTR(verity_data_path
);
3151 if (verity
->designator
< 0)
3152 verity
->designator
= designator
;
3157 int dissected_image_load_verity_sig_partition(
3160 VeritySettings
*verity
) {
3162 _cleanup_free_
void *root_hash
= NULL
, *root_hash_sig
= NULL
;
3163 _cleanup_(json_variant_unrefp
) JsonVariant
*v
= NULL
;
3164 size_t root_hash_size
, root_hash_sig_size
;
3165 _cleanup_free_
char *buf
= NULL
;
3166 PartitionDesignator d
;
3167 DissectedPartition
*p
;
3168 JsonVariant
*rh
, *sig
;
3177 if (verity
->root_hash
&& verity
->root_hash_sig
) /* Already loaded? */
3180 r
= getenv_bool_secure("SYSTEMD_DISSECT_VERITY_EMBEDDED");
3181 if (r
< 0 && r
!= -ENXIO
)
3182 log_debug_errno(r
, "Failed to parse $SYSTEMD_DISSECT_VERITY_EMBEDDED, ignoring: %m");
3186 d
= partition_verity_sig_of(verity
->designator
< 0 ? PARTITION_ROOT
: verity
->designator
);
3189 p
= m
->partitions
+ d
;
3192 if (p
->offset
== UINT64_MAX
|| p
->size
== UINT64_MAX
)
3195 if (p
->size
> 4*1024*1024) /* Signature data cannot possible be larger than 4M, refuse that */
3198 buf
= new(char, p
->size
+1);
3202 n
= pread(fd
, buf
, p
->size
, p
->offset
);
3205 if ((uint64_t) n
!= p
->size
)
3208 e
= memchr(buf
, 0, p
->size
);
3210 /* If we found a NUL byte then the rest of the data must be NUL too */
3211 if (!memeqzero(e
, p
->size
- (e
- buf
)))
3212 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "Signature data contains embedded NUL byte.");
3216 r
= json_parse(buf
, 0, &v
, NULL
, NULL
);
3218 return log_debug_errno(r
, "Failed to parse signature JSON data: %m");
3220 rh
= json_variant_by_key(v
, "rootHash");
3222 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "Signature JSON object lacks 'rootHash' field.");
3223 if (!json_variant_is_string(rh
))
3224 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "'rootHash' field of signature JSON object is not a string.");
3226 r
= unhexmem(json_variant_string(rh
), SIZE_MAX
, &root_hash
, &root_hash_size
);
3228 return log_debug_errno(r
, "Failed to parse root hash field: %m");
3230 /* Check if specified root hash matches if it is specified */
3231 if (verity
->root_hash
&&
3232 memcmp_nn(verity
->root_hash
, verity
->root_hash_size
, root_hash
, root_hash_size
) != 0) {
3233 _cleanup_free_
char *a
= NULL
, *b
= NULL
;
3235 a
= hexmem(root_hash
, root_hash_size
);
3236 b
= hexmem(verity
->root_hash
, verity
->root_hash_size
);
3238 return log_debug_errno(r
, "Root hash in signature JSON data (%s) doesn't match configured hash (%s).", strna(a
), strna(b
));
3241 sig
= json_variant_by_key(v
, "signature");
3243 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "Signature JSON object lacks 'signature' field.");
3244 if (!json_variant_is_string(sig
))
3245 return log_debug_errno(SYNTHETIC_ERRNO(EINVAL
), "'signature' field of signature JSON object is not a string.");
3247 r
= unbase64mem(json_variant_string(sig
), SIZE_MAX
, &root_hash_sig
, &root_hash_sig_size
);
3249 return log_debug_errno(r
, "Failed to parse signature field: %m");
3251 free_and_replace(verity
->root_hash
, root_hash
);
3252 verity
->root_hash_size
= root_hash_size
;
3254 free_and_replace(verity
->root_hash_sig
, root_hash_sig
);
3255 verity
->root_hash_sig_size
= root_hash_sig_size
;
3260 int dissected_image_acquire_metadata(DissectedImage
*m
, DissectImageFlags extra_flags
) {
3267 META_INITRD_RELEASE
,
3268 META_EXTENSION_RELEASE
,
3269 META_HAS_INIT_SYSTEM
,
3273 static const char *const paths
[_META_MAX
] = {
3274 [META_HOSTNAME
] = "/etc/hostname\0",
3275 [META_MACHINE_ID
] = "/etc/machine-id\0",
3276 [META_MACHINE_INFO
] = "/etc/machine-info\0",
3277 [META_OS_RELEASE
] = ("/etc/os-release\0"
3278 "/usr/lib/os-release\0"),
3279 [META_INITRD_RELEASE
] = ("/etc/initrd-release\0"
3280 "/usr/lib/initrd-release\0"),
3281 [META_EXTENSION_RELEASE
] = "extension-release\0", /* Used only for logging. */
3282 [META_HAS_INIT_SYSTEM
] = "has-init-system\0", /* ditto */
3285 _cleanup_strv_free_
char **machine_info
= NULL
, **os_release
= NULL
, **initrd_release
= NULL
, **extension_release
= NULL
;
3286 _cleanup_close_pair_
int error_pipe
[2] = PIPE_EBADF
;
3287 _cleanup_(rmdir_and_freep
) char *t
= NULL
;
3288 _cleanup_(sigkill_waitp
) pid_t child
= 0;
3289 sd_id128_t machine_id
= SD_ID128_NULL
;
3290 _cleanup_free_
char *hostname
= NULL
;
3291 unsigned n_meta_initialized
= 0;
3292 int fds
[2 * _META_MAX
], r
, v
;
3293 int has_init_system
= -1;
3296 BLOCK_SIGNALS(SIGCHLD
);
3300 for (; n_meta_initialized
< _META_MAX
; n_meta_initialized
++) {
3301 if (!paths
[n_meta_initialized
]) {
3302 fds
[2*n_meta_initialized
] = fds
[2*n_meta_initialized
+1] = -EBADF
;
3306 if (pipe2(fds
+ 2*n_meta_initialized
, O_CLOEXEC
) < 0) {
3312 r
= mkdtemp_malloc("/tmp/dissect-XXXXXX", &t
);
3316 if (pipe2(error_pipe
, O_CLOEXEC
) < 0) {
3321 r
= safe_fork("(sd-dissect)", FORK_RESET_SIGNALS
|FORK_DEATHSIG
|FORK_NEW_MOUNTNS
|FORK_MOUNTNS_SLAVE
, &child
);
3325 /* Child in a new mount namespace */
3326 error_pipe
[0] = safe_close(error_pipe
[0]);
3328 r
= dissected_image_mount(
3334 DISSECT_IMAGE_READ_ONLY
|
3335 DISSECT_IMAGE_MOUNT_ROOT_ONLY
|
3336 DISSECT_IMAGE_USR_NO_ROOT
);
3338 log_debug_errno(r
, "Failed to mount dissected image: %m");
3342 for (unsigned k
= 0; k
< _META_MAX
; k
++) {
3343 _cleanup_close_
int fd
= -ENOENT
;
3348 fds
[2*k
] = safe_close(fds
[2*k
]);
3352 case META_EXTENSION_RELEASE
:
3353 /* As per the os-release spec, if the image is an extension it will have a file
3354 * named after the image name in extension-release.d/ - we use the image name
3355 * and try to resolve it with the extension-release helpers, as sometimes
3356 * the image names are mangled on deployment and do not match anymore.
3357 * Unlike other paths this is not fixed, and the image name
3358 * can be mangled on deployment, so by calling into the helper
3359 * we allow a fallback that matches on the first extension-release
3360 * file found in the directory, if one named after the image cannot
3361 * be found first. */
3362 r
= open_extension_release(t
, IMAGE_SYSEXT
, m
->image_name
, /* relax_extension_release_check= */ false, NULL
, &fd
);
3364 fd
= r
; /* Propagate the error. */
3367 case META_HAS_INIT_SYSTEM
: {
3370 FOREACH_STRING(init
,
3371 "/usr/lib/systemd/systemd", /* systemd on /usr merged system */
3372 "/lib/systemd/systemd", /* systemd on /usr non-merged systems */
3373 "/sbin/init") { /* traditional path the Linux kernel invokes */
3375 r
= chase(init
, t
, CHASE_PREFIX_ROOT
, NULL
, NULL
);
3378 log_debug_errno(r
, "Failed to resolve %s, ignoring: %m", init
);
3385 r
= loop_write(fds
[2*k
+1], &found
, sizeof(found
), false);
3393 NULSTR_FOREACH(p
, paths
[k
]) {
3394 fd
= chase_and_open(p
, t
, CHASE_PREFIX_ROOT
, O_RDONLY
|O_CLOEXEC
|O_NOCTTY
, NULL
);
3401 log_debug_errno(fd
, "Failed to read %s file of image, ignoring: %m", paths
[k
]);
3402 fds
[2*k
+1] = safe_close(fds
[2*k
+1]);
3406 r
= copy_bytes(fd
, fds
[2*k
+1], UINT64_MAX
, 0);
3410 fds
[2*k
+1] = safe_close(fds
[2*k
+1]);
3413 _exit(EXIT_SUCCESS
);
3416 /* Let parent know the error */
3417 (void) write(error_pipe
[1], &r
, sizeof(r
));
3418 _exit(EXIT_FAILURE
);
3421 error_pipe
[1] = safe_close(error_pipe
[1]);
3423 for (unsigned k
= 0; k
< _META_MAX
; k
++) {
3424 _cleanup_fclose_
FILE *f
= NULL
;
3429 fds
[2*k
+1] = safe_close(fds
[2*k
+1]);
3431 f
= take_fdopen(&fds
[2*k
], "r");
3440 r
= read_etc_hostname_stream(f
, &hostname
);
3442 log_debug_errno(r
, "Failed to read /etc/hostname of image: %m");
3446 case META_MACHINE_ID
: {
3447 _cleanup_free_
char *line
= NULL
;
3449 r
= read_line(f
, LONG_LINE_MAX
, &line
);
3451 log_debug_errno(r
, "Failed to read /etc/machine-id of image: %m");
3453 r
= sd_id128_from_string(line
, &machine_id
);
3455 log_debug_errno(r
, "Image contains invalid /etc/machine-id: %s", line
);
3457 log_debug("/etc/machine-id file of image is empty.");
3458 else if (streq(line
, "uninitialized"))
3459 log_debug("/etc/machine-id file of image is uninitialized (likely aborted first boot).");
3461 log_debug("/etc/machine-id file of image has unexpected length %i.", r
);
3466 case META_MACHINE_INFO
:
3467 r
= load_env_file_pairs(f
, "machine-info", &machine_info
);
3469 log_debug_errno(r
, "Failed to read /etc/machine-info of image: %m");
3473 case META_OS_RELEASE
:
3474 r
= load_env_file_pairs(f
, "os-release", &os_release
);
3476 log_debug_errno(r
, "Failed to read OS release file of image: %m");
3480 case META_INITRD_RELEASE
:
3481 r
= load_env_file_pairs(f
, "initrd-release", &initrd_release
);
3483 log_debug_errno(r
, "Failed to read initrd release file of image: %m");
3487 case META_EXTENSION_RELEASE
:
3488 r
= load_env_file_pairs(f
, "extension-release", &extension_release
);
3490 log_debug_errno(r
, "Failed to read extension release file of image: %m");
3494 case META_HAS_INIT_SYSTEM
: {
3499 nr
= fread(&b
, 1, sizeof(b
), f
);
3500 if (nr
!= sizeof(b
))
3501 log_debug_errno(errno_or_else(EIO
), "Failed to read has-init-system boolean: %m");
3503 has_init_system
= b
;
3509 r
= wait_for_terminate_and_check("(sd-dissect)", child
, 0);
3514 n
= read(error_pipe
[0], &v
, sizeof(v
));
3518 return v
; /* propagate error sent to us from child */
3522 if (r
!= EXIT_SUCCESS
)
3525 free_and_replace(m
->hostname
, hostname
);
3526 m
->machine_id
= machine_id
;
3527 strv_free_and_replace(m
->machine_info
, machine_info
);
3528 strv_free_and_replace(m
->os_release
, os_release
);
3529 strv_free_and_replace(m
->initrd_release
, initrd_release
);
3530 strv_free_and_replace(m
->extension_release
, extension_release
);
3531 m
->has_init_system
= has_init_system
;
3534 for (unsigned k
= 0; k
< n_meta_initialized
; k
++)
3535 safe_close_pair(fds
+ 2*k
);
3540 Architecture
dissected_image_architecture(DissectedImage
*img
) {
3543 if (img
->partitions
[PARTITION_ROOT
].found
&&
3544 img
->partitions
[PARTITION_ROOT
].architecture
>= 0)
3545 return img
->partitions
[PARTITION_ROOT
].architecture
;
3547 if (img
->partitions
[PARTITION_USR
].found
&&
3548 img
->partitions
[PARTITION_USR
].architecture
>= 0)
3549 return img
->partitions
[PARTITION_USR
].architecture
;
3551 return _ARCHITECTURE_INVALID
;
3554 int dissect_loop_device(
3556 const VeritySettings
*verity
,
3557 const MountOptions
*mount_options
,
3558 const ImagePolicy
*image_policy
,
3559 DissectImageFlags flags
,
3560 DissectedImage
**ret
) {
3563 _cleanup_(dissected_image_unrefp
) DissectedImage
*m
= NULL
;
3568 r
= dissected_image_new(loop
->backing_file
?: loop
->node
, &m
);
3572 m
->loop
= loop_device_ref(loop
);
3573 m
->sector_size
= m
->loop
->sector_size
;
3575 r
= dissect_image(m
, loop
->fd
, loop
->node
, verity
, mount_options
, image_policy
, flags
);
3588 int dissect_loop_device_and_warn(
3590 const VeritySettings
*verity
,
3591 const MountOptions
*mount_options
,
3592 const ImagePolicy
*image_policy
,
3593 DissectImageFlags flags
,
3594 DissectedImage
**ret
) {
3598 return dissect_log_error(
3600 dissect_loop_device(loop
, verity
, mount_options
, image_policy
, flags
, ret
),
3601 loop
->backing_file
?: loop
->node
,
3606 bool dissected_image_verity_candidate(const DissectedImage
*image
, PartitionDesignator partition_designator
) {
3609 /* Checks if this partition could theoretically do Verity. For non-partitioned images this only works
3610 * if there's an external verity file supplied, for which we can consult .has_verity. For partitioned
3611 * images we only check the partition type.
3613 * This call is used to decide whether to suppress or show a verity column in tabular output of the
3616 if (image
->single_file_system
)
3617 return partition_designator
== PARTITION_ROOT
&& image
->has_verity
;
3619 return partition_verity_of(partition_designator
) >= 0;
3622 bool dissected_image_verity_ready(const DissectedImage
*image
, PartitionDesignator partition_designator
) {
3623 PartitionDesignator k
;
3627 /* Checks if this partition has verity data available that we can activate. For non-partitioned this
3628 * works for the root partition, for others only if the associated verity partition was found. */
3630 if (!image
->verity_ready
)
3633 if (image
->single_file_system
)
3634 return partition_designator
== PARTITION_ROOT
;
3636 k
= partition_verity_of(partition_designator
);
3637 return k
>= 0 && image
->partitions
[k
].found
;
3640 bool dissected_image_verity_sig_ready(const DissectedImage
*image
, PartitionDesignator partition_designator
) {
3641 PartitionDesignator k
;
3645 /* Checks if this partition has verity signature data available that we can use. */
3647 if (!image
->verity_sig_ready
)
3650 if (image
->single_file_system
)
3651 return partition_designator
== PARTITION_ROOT
;
3653 k
= partition_verity_sig_of(partition_designator
);
3654 return k
>= 0 && image
->partitions
[k
].found
;
3657 MountOptions
* mount_options_free_all(MountOptions
*options
) {
3660 while ((m
= options
)) {
3661 LIST_REMOVE(mount_options
, options
, m
);
3669 const char* mount_options_from_designator(const MountOptions
*options
, PartitionDesignator designator
) {
3670 LIST_FOREACH(mount_options
, m
, options
)
3671 if (designator
== m
->partition_designator
&& !isempty(m
->options
))
3677 int mount_image_privately_interactively(
3679 const ImagePolicy
*image_policy
,
3680 DissectImageFlags flags
,
3681 char **ret_directory
,
3683 LoopDevice
**ret_loop_device
) {
3685 _cleanup_(verity_settings_done
) VeritySettings verity
= VERITY_SETTINGS_DEFAULT
;
3686 _cleanup_(loop_device_unrefp
) LoopDevice
*d
= NULL
;
3687 _cleanup_(dissected_image_unrefp
) DissectedImage
*dissected_image
= NULL
;
3688 _cleanup_free_
char *dir
= NULL
;
3691 /* Mounts an OS image at a temporary place, inside a newly created mount namespace of our own. This
3692 * is used by tools such as systemd-tmpfiles or systemd-firstboot to operate on some disk image
3696 assert(ret_loop_device
);
3698 /* We intend to mount this right-away, hence add the partitions if needed and pin them. */
3699 flags
|= DISSECT_IMAGE_ADD_PARTITION_DEVICES
|
3700 DISSECT_IMAGE_PIN_PARTITION_DEVICES
;
3702 r
= verity_settings_load(&verity
, image
, NULL
, NULL
);
3704 return log_error_errno(r
, "Failed to load root hash data: %m");
3706 r
= loop_device_make_by_path(
3708 FLAGS_SET(flags
, DISSECT_IMAGE_DEVICE_READ_ONLY
) ? O_RDONLY
: O_RDWR
,
3709 /* sector_size= */ UINT32_MAX
,
3710 FLAGS_SET(flags
, DISSECT_IMAGE_NO_PARTITION_TABLE
) ? 0 : LO_FLAGS_PARTSCAN
,
3714 return log_error_errno(r
, "Failed to set up loopback device for %s: %m", image
);
3716 r
= dissect_loop_device_and_warn(
3719 /* mount_options= */ NULL
,
3726 r
= dissected_image_load_verity_sig_partition(dissected_image
, d
->fd
, &verity
);
3730 r
= dissected_image_decrypt_interactively(dissected_image
, NULL
, &verity
, flags
);
3734 r
= detach_mount_namespace();
3736 return log_error_errno(r
, "Failed to detach mount namespace: %m");
3738 r
= mkdir_p("/run/systemd/mount-rootfs", 0555);
3740 return log_error_errno(r
, "Failed to create mount point: %m");
3742 r
= dissected_image_mount_and_warn(
3744 "/run/systemd/mount-rootfs",
3745 /* uid_shift= */ UID_INVALID
,
3746 /* uid_range= */ UID_INVALID
,
3751 r
= loop_device_flock(d
, LOCK_UN
);
3755 r
= dissected_image_relinquish(dissected_image
);
3757 return log_error_errno(r
, "Failed to relinquish DM and loopback block devices: %m");
3759 if (ret_directory
) {
3760 dir
= strdup("/run/systemd/mount-rootfs");
3766 _cleanup_close_
int dir_fd
= -EBADF
;
3768 dir_fd
= open("/run/systemd/mount-rootfs", O_CLOEXEC
|O_DIRECTORY
);
3770 return log_error_errno(errno
, "Failed to open mount point directory: %m");
3772 *ret_dir_fd
= TAKE_FD(dir_fd
);
3776 *ret_directory
= TAKE_PTR(dir
);
3778 *ret_loop_device
= TAKE_PTR(d
);
3782 static bool mount_options_relax_extension_release_checks(const MountOptions
*options
) {
3786 return string_contains_word(mount_options_from_designator(options
, PARTITION_ROOT
), ",", "x-systemd.relax-extension-release-check") ||
3787 string_contains_word(mount_options_from_designator(options
, PARTITION_USR
), ",", "x-systemd.relax-extension-release-check") ||
3788 string_contains_word(options
->options
, ",", "x-systemd.relax-extension-release-check");
3791 int verity_dissect_and_mount(
3795 const MountOptions
*options
,
3796 const ImagePolicy
*image_policy
,
3797 const char *required_host_os_release_id
,
3798 const char *required_host_os_release_version_id
,
3799 const char *required_host_os_release_sysext_level
,
3800 const char *required_sysext_scope
) {
3802 _cleanup_(loop_device_unrefp
) LoopDevice
*loop_device
= NULL
;
3803 _cleanup_(dissected_image_unrefp
) DissectedImage
*dissected_image
= NULL
;
3804 _cleanup_(verity_settings_done
) VeritySettings verity
= VERITY_SETTINGS_DEFAULT
;
3805 DissectImageFlags dissect_image_flags
;
3806 bool relax_extension_release_check
;
3812 relax_extension_release_check
= mount_options_relax_extension_release_checks(options
);
3814 /* We might get an FD for the image, but we use the original path to look for the dm-verity files */
3815 r
= verity_settings_load(&verity
, src
, NULL
, NULL
);
3817 return log_debug_errno(r
, "Failed to load root hash: %m");
3819 dissect_image_flags
= (verity
.data_path
? DISSECT_IMAGE_NO_PARTITION_TABLE
: 0) |
3820 (relax_extension_release_check
? DISSECT_IMAGE_RELAX_SYSEXT_CHECK
: 0) |
3821 DISSECT_IMAGE_ADD_PARTITION_DEVICES
|
3822 DISSECT_IMAGE_PIN_PARTITION_DEVICES
;
3824 /* Note that we don't use loop_device_make here, as the FD is most likely O_PATH which would not be
3825 * accepted by LOOP_CONFIGURE, so just let loop_device_make_by_path reopen it as a regular FD. */
3826 r
= loop_device_make_by_path(
3827 src_fd
>= 0 ? FORMAT_PROC_FD_PATH(src_fd
) : src
,
3828 /* open_flags= */ -1,
3829 /* sector_size= */ UINT32_MAX
,
3830 verity
.data_path
? 0 : LO_FLAGS_PARTSCAN
,
3834 return log_debug_errno(r
, "Failed to create loop device for image: %m");
3836 r
= dissect_loop_device(
3841 dissect_image_flags
,
3843 /* No partition table? Might be a single-filesystem image, try again */
3844 if (!verity
.data_path
&& r
== -ENOPKG
)
3845 r
= dissect_loop_device(
3850 dissect_image_flags
| DISSECT_IMAGE_NO_PARTITION_TABLE
,
3853 return log_debug_errno(r
, "Failed to dissect image: %m");
3855 r
= dissected_image_load_verity_sig_partition(dissected_image
, loop_device
->fd
, &verity
);
3859 r
= dissected_image_decrypt(
3863 dissect_image_flags
);
3865 return log_debug_errno(r
, "Failed to decrypt dissected image: %m");
3867 r
= mkdir_p_label(dest
, 0755);
3869 return log_debug_errno(r
, "Failed to create destination directory %s: %m", dest
);
3870 r
= umount_recursive(dest
, 0);
3872 return log_debug_errno(r
, "Failed to umount under destination directory %s: %m", dest
);
3874 r
= dissected_image_mount(dissected_image
, dest
, UID_INVALID
, UID_INVALID
, dissect_image_flags
);
3876 return log_debug_errno(r
, "Failed to mount image: %m");
3878 r
= loop_device_flock(loop_device
, LOCK_UN
);
3880 return log_debug_errno(r
, "Failed to unlock loopback device: %m");
3882 /* If we got os-release values from the caller, then we need to match them with the image's
3883 * extension-release.d/ content. Return -EINVAL if there's any mismatch.
3884 * First, check the distro ID. If that matches, then check the new SYSEXT_LEVEL value if
3885 * available, or else fallback to VERSION_ID. If neither is present (eg: rolling release),
3886 * then a simple match on the ID will be performed. */
3887 if (required_host_os_release_id
) {
3888 _cleanup_strv_free_
char **extension_release
= NULL
;
3890 assert(!isempty(required_host_os_release_id
));
3892 r
= load_extension_release_pairs(dest
, IMAGE_SYSEXT
, dissected_image
->image_name
, relax_extension_release_check
, &extension_release
);
3894 return log_debug_errno(r
, "Failed to parse image %s extension-release metadata: %m", dissected_image
->image_name
);
3896 r
= extension_release_validate(
3897 dissected_image
->image_name
,
3898 required_host_os_release_id
,
3899 required_host_os_release_version_id
,
3900 required_host_os_release_sysext_level
,
3901 required_sysext_scope
,
3905 return log_debug_errno(SYNTHETIC_ERRNO(ESTALE
), "Image %s extension-release metadata does not match the root's", dissected_image
->image_name
);
3907 return log_debug_errno(r
, "Failed to compare image %s extension-release metadata with the root's os-release: %m", dissected_image
->image_name
);
3910 r
= dissected_image_relinquish(dissected_image
);
3912 return log_debug_errno(r
, "Failed to relinquish dissected image: %m");