blob: 004acdb51b4047e7582965d6f42cb362cb64252a [file] [log] [blame]
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +00001// Copyright 2024, The Android Open Source Project
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15//! Support for guest-specific rollback protection (RBP).
16
17use crate::dice::PartialInputs;
18use crate::entry::RebootReason;
Pierre-Clément Tosi3729f652024-11-19 15:25:37 +000019use crate::fdt::read_defer_rollback_protection;
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000020use crate::instance::EntryBody;
21use crate::instance::Error as InstanceError;
22use crate::instance::{get_recorded_entry, record_instance_entry};
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000023use diced_open_dice::Hidden;
Pierre-Clément Tosi3729f652024-11-19 15:25:37 +000024use libfdt::Fdt;
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000025use log::{error, info};
26use pvmfw_avb::Capability;
27use pvmfw_avb::VerifiedBootData;
Andrew Walbraneb75fb92024-12-13 15:37:30 +000028use virtio_drivers::transport::pci::bus::{ConfigurationAccess, PciRoot};
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +000029use vmbase::fdt::{pci::PciInfo, SwiotlbInfo};
30use vmbase::memory::init_shared_pool;
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000031use vmbase::rand;
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +000032use vmbase::virtio::pci;
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000033
34/// Performs RBP based on the input payload, current DICE chain, and host-controlled platform.
35///
36/// On success, returns a tuple containing:
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000037/// - `new_instance`: true if the legacy instance.img solution was used and a new entry created;
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000038/// - `salt`: the salt representing the instance, to be used during DICE derivation;
39/// - `defer_rollback_protection`: if RBP is being deferred.
40pub fn perform_rollback_protection(
41 fdt: &Fdt,
42 verified_boot_data: &VerifiedBootData,
43 dice_inputs: &PartialInputs,
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000044 cdi_seal: &[u8],
45 instance_hash: Option<Hidden>,
46) -> Result<(bool, Hidden, bool), RebootReason> {
Pierre-Clément Tosi64f757b2025-01-22 16:13:18 +000047 if (should_defer_rollback_protection(fdt)?
48 && verified_boot_data.has_capability(Capability::SecretkeeperProtection))
49 || verified_boot_data.has_capability(Capability::TrustySecurityVm)
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000050 {
51 perform_deferred_rollback_protection(verified_boot_data)?;
52 Ok((false, instance_hash.unwrap(), true))
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000053 } else if verified_boot_data.has_capability(Capability::RemoteAttest) {
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000054 perform_fixed_index_rollback_protection(verified_boot_data)?;
55 Ok((false, instance_hash.unwrap(), false))
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000056 } else {
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +000057 perform_legacy_rollback_protection(fdt, dice_inputs, cdi_seal, instance_hash)
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000058 }
59}
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000060
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000061fn perform_deferred_rollback_protection(
62 verified_boot_data: &VerifiedBootData,
63) -> Result<(), RebootReason> {
64 info!("Deferring rollback protection");
65 // rollback_index of the image is used as security_version and is expected to be > 0 to
66 // discourage implicit allocation.
67 if verified_boot_data.rollback_index == 0 {
68 error!("Expected positive rollback_index, found 0");
69 Err(RebootReason::InvalidPayload)
70 } else {
71 Ok(())
72 }
73}
74
75fn perform_fixed_index_rollback_protection(
76 verified_boot_data: &VerifiedBootData,
77) -> Result<(), RebootReason> {
78 info!("Performing fixed-index rollback protection");
79 let fixed_index = service_vm_version::VERSION;
80 let index = verified_boot_data.rollback_index;
81 if index != fixed_index {
82 error!("Rollback index mismatch: expected {fixed_index}, found {index}");
83 Err(RebootReason::InvalidPayload)
84 } else {
85 Ok(())
86 }
87}
88
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000089/// Performs RBP using instance.img where updates require clearing old entries, causing new CDIs.
90fn perform_legacy_rollback_protection(
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +000091 fdt: &Fdt,
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000092 dice_inputs: &PartialInputs,
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +000093 cdi_seal: &[u8],
94 instance_hash: Option<Hidden>,
95) -> Result<(bool, Hidden, bool), RebootReason> {
96 info!("Fallback to instance.img based rollback checks");
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +000097 let mut pci_root = initialize_instance_img_device(fdt)?;
98 let (recorded_entry, mut instance_img, header_index) =
99 get_recorded_entry(&mut pci_root, cdi_seal).map_err(|e| {
100 error!("Failed to get entry from instance.img: {e}");
101 RebootReason::InternalError
102 })?;
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +0000103 let (new_instance, salt) = if let Some(entry) = recorded_entry {
104 check_dice_measurements_match_entry(dice_inputs, &entry)?;
105 let salt = instance_hash.unwrap_or(entry.salt);
106 (false, salt)
107 } else {
108 // New instance!
109 let salt = instance_hash.map_or_else(rand::random_array, Ok).map_err(|e| {
110 error!("Failed to generated instance.img salt: {e}");
111 RebootReason::InternalError
112 })?;
113
114 let entry = EntryBody::new(dice_inputs, &salt);
115 record_instance_entry(&entry, cdi_seal, &mut instance_img, header_index).map_err(|e| {
116 error!("Failed to get recorded entry in instance.img: {e}");
117 RebootReason::InternalError
118 })?;
119 (true, salt)
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +0000120 };
Pierre-Clément Tosi495c67a2024-11-27 16:32:04 +0000121 Ok((new_instance, salt, false))
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +0000122}
123
124fn check_dice_measurements_match_entry(
125 dice_inputs: &PartialInputs,
126 entry: &EntryBody,
127) -> Result<(), RebootReason> {
128 ensure_dice_measurements_match_entry(dice_inputs, entry).map_err(|e| {
129 error!(
130 "Dice measurements do not match recorded entry. \
131 This may be because of update: {e}"
132 );
133 RebootReason::InternalError
134 })?;
135
136 Ok(())
137}
138
139fn ensure_dice_measurements_match_entry(
140 dice_inputs: &PartialInputs,
141 entry: &EntryBody,
142) -> Result<(), InstanceError> {
143 if entry.code_hash != dice_inputs.code_hash {
144 Err(InstanceError::RecordedCodeHashMismatch)
145 } else if entry.auth_hash != dice_inputs.auth_hash {
146 Err(InstanceError::RecordedAuthHashMismatch)
147 } else if entry.mode() != dice_inputs.mode {
148 Err(InstanceError::RecordedDiceModeMismatch)
149 } else {
150 Ok(())
151 }
152}
153
154fn should_defer_rollback_protection(fdt: &Fdt) -> Result<bool, RebootReason> {
Pierre-Clément Tosi3729f652024-11-19 15:25:37 +0000155 let defer_rbp = read_defer_rollback_protection(fdt).map_err(|e| {
156 error!("Failed to get defer-rollback-protection property in DT: {e}");
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +0000157 RebootReason::InvalidFdt
158 })?;
Pierre-Clément Tosi3729f652024-11-19 15:25:37 +0000159 Ok(defer_rbp.is_some())
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +0000160}
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +0000161
162/// Set up PCI bus and VirtIO-blk device containing the instance.img partition.
Andrew Walbraneb75fb92024-12-13 15:37:30 +0000163fn initialize_instance_img_device(
164 fdt: &Fdt,
165) -> Result<PciRoot<impl ConfigurationAccess>, RebootReason> {
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +0000166 let pci_info = PciInfo::from_fdt(fdt).map_err(|e| {
167 error!("Failed to detect PCI from DT: {e}");
168 RebootReason::InvalidFdt
169 })?;
170 let swiotlb_range = SwiotlbInfo::new_from_fdt(fdt)
171 .map_err(|e| {
172 error!("Failed to detect swiotlb from DT: {e}");
173 RebootReason::InvalidFdt
174 })?
175 .and_then(|info| info.fixed_range());
176
177 let pci_root = pci::initialize(pci_info).map_err(|e| {
178 error!("Failed to initialize PCI: {e}");
179 RebootReason::InternalError
180 })?;
181 init_shared_pool(swiotlb_range).map_err(|e| {
182 error!("Failed to initialize shared pool: {e}");
183 RebootReason::InternalError
184 })?;
185
186 Ok(pci_root)
187}