blob: bde03ff33706d5bba8aa7e739d1c718b17e0b07b [file] [log] [blame]
Andrew Walbran68a8c162022-03-07 15:38:42 +00001// Copyright 2022, 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//! pVM firmware.
16
17#![no_main]
18#![no_std]
19
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000020extern crate alloc;
21
Alan Stokes4db76eb2023-04-26 14:28:15 +010022mod bcc;
Jiyong Parkc5d2ef22023-04-11 01:23:46 +090023mod bootargs;
Pierre-Clément Tosi20b60962022-10-17 13:35:27 +010024mod config;
Jaewan Kimc6e023b2023-10-12 15:11:05 +090025mod device_assignment;
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +000026mod dice;
Pierre-Clément Tosi5bbfca52022-10-21 12:14:35 +010027mod entry;
Andrew Walbrandfb73372022-04-21 10:52:27 +000028mod exceptions;
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000029mod fdt;
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +000030mod gpt;
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010031mod helpers;
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +000032mod instance;
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000033mod memory;
Andrew Walbran68a8c162022-03-07 15:38:42 +000034
Alan Stokes4db76eb2023-04-26 14:28:15 +010035use crate::bcc::Bcc;
Pierre-Clément Tosi4ba79662023-02-13 11:22:41 +000036use crate::dice::PartialInputs;
37use crate::entry::RebootReason;
38use crate::fdt::modify_for_next_stage;
Pierre-Clément Tosi4ba79662023-02-13 11:22:41 +000039use crate::helpers::GUEST_PAGE_SIZE;
Shikha Panwar37490d42024-03-19 22:14:58 +000040use crate::instance::EntryBody;
41use crate::instance::Error as InstanceError;
42use crate::instance::{get_recorded_entry, record_instance_entry};
Alan Stokes7f27c0d2023-09-07 16:22:58 +010043use alloc::borrow::Cow;
Alan Stokes4db76eb2023-04-26 14:28:15 +010044use alloc::boxed::Box;
Shikha Panwar73ba0d42024-03-20 14:43:21 +000045use bssl_avf::Digester;
Alan Stokes4db76eb2023-04-26 14:28:15 +010046use core::ops::Range;
Shikha Panwar73ba0d42024-03-20 14:43:21 +000047use cstr::cstr;
Alice Wang87fbc4b2024-11-05 13:09:58 +000048use diced_open_dice::{bcc_handover_parse, DiceArtifacts, DiceContext, Hidden, VM_KEY_ALGORITHM};
Shikha Panwar73ba0d42024-03-20 14:43:21 +000049use libfdt::{Fdt, FdtNode};
Alan Stokes4db76eb2023-04-26 14:28:15 +010050use log::{debug, error, info, trace, warn};
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000051use pvmfw_avb::verify_payload;
Alice Wangab0d0202023-05-17 08:07:41 +000052use pvmfw_avb::Capability;
Jiyong Parkc5d2ef22023-04-11 01:23:46 +090053use pvmfw_avb::DebugLevel;
Alice Wang0aa30322023-01-31 11:00:10 +000054use pvmfw_embedded_key::PUBLIC_KEY;
Pierre-Clément Tosif2c19d42024-10-01 17:42:04 +010055use vmbase::fdt::pci::{PciError, PciInfo};
Pierre-Clément Tosic332fae2023-06-22 11:37:12 +000056use vmbase::heap;
Alice Wang3fa9b802023-06-06 07:52:31 +000057use vmbase::memory::flush;
Pierre-Clément Tosi80251972023-07-12 12:51:12 +000058use vmbase::rand;
Alice Wangeade1672023-06-08 14:56:20 +000059use vmbase::virtio::pci;
Andrew Walbran68a8c162022-03-07 15:38:42 +000060
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +000061const NEXT_BCC_SIZE: usize = GUEST_PAGE_SIZE;
62
Alice Wang28cbcf12022-12-01 07:58:28 +000063fn main(
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000064 fdt: &mut Fdt,
Alice Wang28cbcf12022-12-01 07:58:28 +000065 signed_kernel: &[u8],
66 ramdisk: Option<&[u8]>,
Alice Wang843d8312023-02-15 09:47:06 +000067 current_bcc_handover: &[u8],
Alan Stokes65618332023-12-15 14:09:25 +000068 mut debug_policy: Option<&[u8]>,
Pierre-Clément Tosi64aff642024-07-31 16:20:21 +010069) -> Result<(Range<usize>, bool), RebootReason> {
Pierre-Clément Tosi37105a62022-10-18 12:21:48 +010070 info!("pVM firmware");
Pierre-Clément Tosi8036b4f2023-02-17 10:31:31 +000071 debug!("FDT: {:?}", fdt.as_ptr());
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000072 debug!("Signed kernel: {:?} ({:#x} bytes)", signed_kernel.as_ptr(), signed_kernel.len());
Alice Wanga78279c2022-12-16 12:41:19 +000073 debug!("AVB public key: addr={:?}, size={:#x} ({1})", PUBLIC_KEY.as_ptr(), PUBLIC_KEY.len());
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000074 if let Some(rd) = ramdisk {
75 debug!("Ramdisk: {:?} ({:#x} bytes)", rd.as_ptr(), rd.len());
76 } else {
77 debug!("Ramdisk: None");
78 }
Alan Stokes4db76eb2023-04-26 14:28:15 +010079
Alice Wang843d8312023-02-15 09:47:06 +000080 let bcc_handover = bcc_handover_parse(current_bcc_handover).map_err(|e| {
81 error!("Invalid BCC Handover: {e:?}");
82 RebootReason::InvalidBcc
83 })?;
84 trace!("BCC: {bcc_handover:x?}");
Andrew Walbran19690632022-12-07 16:41:30 +000085
Alan Stokes4db76eb2023-04-26 14:28:15 +010086 let cdi_seal = bcc_handover.cdi_seal();
87
88 let bcc = Bcc::new(bcc_handover.bcc()).map_err(|e| {
89 error!("{e}");
90 RebootReason::InvalidBcc
91 })?;
92
93 // The bootloader should never pass us a debug policy when the boot is secure (the bootloader
94 // is locked). If it gets it wrong, disregard it & log it, to avoid it causing problems.
95 if debug_policy.is_some() && !bcc.is_debug_mode() {
96 warn!("Ignoring debug policy, BCC does not indicate Debug mode");
97 debug_policy = None;
Alan Stokesd1ee63e2023-04-24 16:17:39 +010098 }
99
Andrew Walbran19690632022-12-07 16:41:30 +0000100 // Set up PCI bus for VirtIO devices.
Andrew Walbrand1d03182022-12-09 18:20:01 +0000101 let pci_info = PciInfo::from_fdt(fdt).map_err(handle_pci_error)?;
102 debug!("PCI: {:#x?}", pci_info);
Pierre-Clément Tosic26e2202024-11-01 23:12:23 +0000103 let mut pci_root = pci::initialize(pci_info).map_err(|e| {
Alice Wangeff58392023-07-04 13:32:09 +0000104 error!("Failed to initialize PCI: {e}");
Alice Wang287de622023-06-08 13:17:03 +0000105 RebootReason::InternalError
106 })?;
Andrew Walbran19690632022-12-07 16:41:30 +0000107
Alice Wang1f0add02023-01-23 16:22:53 +0000108 let verified_boot_data = verify_payload(signed_kernel, ramdisk, PUBLIC_KEY).map_err(|e| {
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +0000109 error!("Failed to verify the payload: {e}");
110 RebootReason::PayloadVerificationError
111 })?;
Pierre-Clément Tosif90655d2023-06-28 11:00:17 +0000112 let debuggable = verified_boot_data.debug_level != DebugLevel::None;
113 if debuggable {
114 info!("Successfully verified a debuggable payload.");
115 info!("Please disregard any previous libavb ERROR about initrd_normal.");
116 }
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +0000117
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000118 let next_bcc = heap::aligned_boxed_slice(NEXT_BCC_SIZE, GUEST_PAGE_SIZE).ok_or_else(|| {
119 error!("Failed to allocate the next-stage BCC");
120 RebootReason::InternalError
121 })?;
122 // By leaking the slice, its content will be left behind for the next stage.
123 let next_bcc = Box::leak(next_bcc);
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +0000124
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +0000125 let dice_inputs = PartialInputs::new(&verified_boot_data).map_err(|e| {
126 error!("Failed to compute partial DICE inputs: {e:?}");
127 RebootReason::InternalError
128 })?;
Shikha Panwar37490d42024-03-19 22:14:58 +0000129
Shikha Panwar8f7fc1a2024-04-10 10:41:34 +0000130 let instance_hash = if cfg!(llpvm_changes) { Some(salt_from_instance_id(fdt)?) } else { None };
Shikha Panwarffadd4d2024-05-28 13:47:56 +0000131 let defer_rollback_protection = should_defer_rollback_protection(fdt)?
132 && verified_boot_data.has_capability(Capability::SecretkeeperProtection);
133 let (new_instance, salt) = if defer_rollback_protection {
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000134 info!("Guest OS is capable of Secretkeeper protection, deferring rollback protection");
135 // rollback_index of the image is used as security_version and is expected to be > 0 to
136 // discourage implicit allocation.
137 if verified_boot_data.rollback_index == 0 {
138 error!("Expected positive rollback_index, found 0");
139 return Err(RebootReason::InvalidPayload);
140 };
Shikha Panwar9ecf2532024-06-06 06:51:00 +0000141 (false, instance_hash.unwrap())
142 } else if verified_boot_data.has_capability(Capability::RemoteAttest) {
143 info!("Service VM capable of remote attestation detected, performing version checks");
144 if service_vm_version::VERSION != verified_boot_data.rollback_index {
145 // For RKP VM, we only boot if the version in the AVB footer of its kernel matches
146 // the one embedded in pvmfw at build time.
147 // This prevents the pvmfw from booting a roll backed RKP VM.
148 error!(
149 "Service VM version mismatch: expected {}, found {}",
150 service_vm_version::VERSION,
151 verified_boot_data.rollback_index
152 );
153 return Err(RebootReason::InvalidPayload);
154 }
Shikha Panwar8f7fc1a2024-04-10 10:41:34 +0000155 (false, instance_hash.unwrap())
Alice Wangfe0b9762024-11-21 14:47:54 +0000156 } else if verified_boot_data.has_capability(Capability::TrustySecurityVm) {
157 // The rollback protection of Trusty VMs are handled by AuthMgr, so we don't need to
158 // handle it here.
159 info!("Trusty Security VM detected");
160 (false, instance_hash.unwrap())
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000161 } else {
Shikha Panwar9ecf2532024-06-06 06:51:00 +0000162 info!("Fallback to instance.img based rollback checks");
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000163 let (recorded_entry, mut instance_img, header_index) =
164 get_recorded_entry(&mut pci_root, cdi_seal).map_err(|e| {
165 error!("Failed to get entry from instance.img: {e}");
Shikha Panwar37490d42024-03-19 22:14:58 +0000166 RebootReason::InternalError
167 })?;
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000168 let (new_instance, salt) = if let Some(entry) = recorded_entry {
Shikha Panwar9ecf2532024-06-06 06:51:00 +0000169 check_dice_measurements_match_entry(&dice_inputs, &entry)?;
Shikha Panwar8f7fc1a2024-04-10 10:41:34 +0000170 let salt = instance_hash.unwrap_or(entry.salt);
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000171 (false, salt)
172 } else {
173 // New instance!
Shikha Panwar8f7fc1a2024-04-10 10:41:34 +0000174 let salt = instance_hash.map_or_else(rand::random_array, Ok).map_err(|e| {
175 error!("Failed to generated instance.img salt: {e}");
176 RebootReason::InternalError
177 })?;
178
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000179 let entry = EntryBody::new(&dice_inputs, &salt);
180 record_instance_entry(&entry, cdi_seal, &mut instance_img, header_index).map_err(
181 |e| {
182 error!("Failed to get recorded entry in instance.img: {e}");
183 RebootReason::InternalError
184 },
185 )?;
186 (true, salt)
187 };
188 (new_instance, salt)
Shikha Panwar37490d42024-03-19 22:14:58 +0000189 };
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000190 trace!("Got salt for instance: {salt:x?}");
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +0000191
Alan Stokes7f27c0d2023-09-07 16:22:58 +0100192 let new_bcc_handover = if cfg!(dice_changes) {
193 Cow::Borrowed(current_bcc_handover)
194 } else {
195 // It is possible that the DICE chain we were given is rooted in the UDS. We do not want to
196 // give such a chain to the payload, or even the associated CDIs. So remove the
197 // entire chain we were given and taint the CDIs. Note that the resulting CDIs are
198 // still deterministically derived from those we received, so will vary iff they do.
199 // TODO(b/280405545): Remove this post Android 14.
200 let truncated_bcc_handover = bcc::truncate(bcc_handover).map_err(|e| {
201 error!("{e}");
202 RebootReason::InternalError
203 })?;
204 Cow::Owned(truncated_bcc_handover)
205 };
Alan Stokesa38d3b32023-05-05 12:19:18 +0100206
Alice Wang6823ffc2024-10-29 15:54:34 +0000207 trace!("BCC leaf subject public key algorithm: {:?}", bcc.leaf_subject_pubkey().cose_alg);
208
Alice Wang87fbc4b2024-11-05 13:09:58 +0000209 let dice_context = DiceContext {
210 authority_algorithm: bcc.leaf_subject_pubkey().cose_alg.try_into().map_err(|e| {
211 error!("{e}");
212 RebootReason::InternalError
213 })?,
214 subject_algorithm: VM_KEY_ALGORITHM,
215 };
Shikha Panwarffadd4d2024-05-28 13:47:56 +0000216 dice_inputs
217 .write_next_bcc(
218 new_bcc_handover.as_ref(),
219 &salt,
220 instance_hash,
221 defer_rollback_protection,
222 next_bcc,
Alice Wang87fbc4b2024-11-05 13:09:58 +0000223 dice_context,
Shikha Panwarffadd4d2024-05-28 13:47:56 +0000224 )
225 .map_err(|e| {
Shikha Panwar8f7fc1a2024-04-10 10:41:34 +0000226 error!("Failed to derive next-stage DICE secrets: {e:?}");
227 RebootReason::SecretDerivationError
Shikha Panwarffadd4d2024-05-28 13:47:56 +0000228 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000229 flush(next_bcc);
230
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000231 let kaslr_seed = u64::from_ne_bytes(rand::random_array().map_err(|e| {
232 error!("Failed to generated guest KASLR seed: {e}");
233 RebootReason::InternalError
234 })?);
Pierre-Clément Tosib2d8aa72023-02-17 15:22:50 +0000235 let strict_boot = true;
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000236 modify_for_next_stage(
237 fdt,
238 next_bcc,
239 new_instance,
240 strict_boot,
241 debug_policy,
242 debuggable,
243 kaslr_seed,
244 )
245 .map_err(|e| {
246 error!("Failed to configure device tree: {e}");
247 RebootReason::InternalError
248 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000249
Alice Wang4379c832022-12-05 15:50:20 +0000250 info!("Starting payload...");
Pierre-Clément Tosi97f52492023-04-04 15:52:17 +0100251
252 let bcc_range = {
253 let r = next_bcc.as_ptr_range();
254 (r.start as usize)..(r.end as usize)
255 };
256
Pierre-Clément Tosi64aff642024-07-31 16:20:21 +0100257 Ok((bcc_range, debuggable))
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +0100258}
Andrew Walbrand1d03182022-12-09 18:20:01 +0000259
Shikha Panwar9ecf2532024-06-06 06:51:00 +0000260fn check_dice_measurements_match_entry(
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000261 dice_inputs: &PartialInputs,
262 entry: &EntryBody,
263) -> Result<(), RebootReason> {
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000264 ensure_dice_measurements_match_entry(dice_inputs, entry).map_err(|e| {
265 error!(
266 "Dice measurements do not match recorded entry. \
267 This may be because of update: {e}"
268 );
269 RebootReason::InternalError
270 })?;
271
272 Ok(())
273}
274
Shikha Panwar37490d42024-03-19 22:14:58 +0000275fn ensure_dice_measurements_match_entry(
276 dice_inputs: &PartialInputs,
277 entry: &EntryBody,
278) -> Result<(), InstanceError> {
279 if entry.code_hash != dice_inputs.code_hash {
280 Err(InstanceError::RecordedCodeHashMismatch)
281 } else if entry.auth_hash != dice_inputs.auth_hash {
282 Err(InstanceError::RecordedAuthHashMismatch)
283 } else if entry.mode() != dice_inputs.mode {
284 Err(InstanceError::RecordedDiceModeMismatch)
285 } else {
286 Ok(())
287 }
288}
289
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000290// Get the "salt" which is one of the input for DICE derivation.
291// This provides differentiation of secrets for different VM instances with same payloads.
292fn salt_from_instance_id(fdt: &Fdt) -> Result<Hidden, RebootReason> {
293 let id = instance_id(fdt)?;
294 let salt = Digester::sha512()
295 .digest(&[&b"InstanceId:"[..], id].concat())
296 .map_err(|e| {
297 error!("Failed to get digest of instance-id: {e}");
298 RebootReason::InternalError
299 })?
300 .try_into()
301 .map_err(|_| RebootReason::InternalError)?;
302 Ok(salt)
303}
304
305fn instance_id(fdt: &Fdt) -> Result<&[u8], RebootReason> {
306 let node = avf_untrusted_node(fdt)?;
307 let id = node.getprop(cstr!("instance-id")).map_err(|e| {
308 error!("Failed to get instance-id in DT: {e}");
309 RebootReason::InvalidFdt
310 })?;
311 id.ok_or_else(|| {
312 error!("Missing instance-id");
313 RebootReason::InvalidFdt
314 })
315}
316
317fn should_defer_rollback_protection(fdt: &Fdt) -> Result<bool, RebootReason> {
318 let node = avf_untrusted_node(fdt)?;
319 let defer_rbp = node
320 .getprop(cstr!("defer-rollback-protection"))
321 .map_err(|e| {
322 error!("Failed to get defer-rollback-protection property in DT: {e}");
323 RebootReason::InvalidFdt
324 })?
325 .is_some();
326 Ok(defer_rbp)
327}
328
329fn avf_untrusted_node(fdt: &Fdt) -> Result<FdtNode, RebootReason> {
330 let node = fdt.node(cstr!("/avf/untrusted")).map_err(|e| {
331 error!("Failed to get /avf/untrusted node: {e}");
332 RebootReason::InvalidFdt
333 })?;
334 node.ok_or_else(|| {
335 error!("/avf/untrusted node is missing in DT");
336 RebootReason::InvalidFdt
337 })
338}
339
Andrew Walbrand1d03182022-12-09 18:20:01 +0000340/// Logs the given PCI error and returns the appropriate `RebootReason`.
341fn handle_pci_error(e: PciError) -> RebootReason {
342 error!("{}", e);
343 match e {
344 PciError::FdtErrorPci(_)
345 | PciError::FdtNoPci
346 | PciError::FdtErrorReg(_)
347 | PciError::FdtMissingReg
348 | PciError::FdtRegEmpty
349 | PciError::FdtRegMissingSize
350 | PciError::CamWrongSize(_)
351 | PciError::FdtErrorRanges(_)
352 | PciError::FdtMissingRanges
353 | PciError::RangeAddressMismatch { .. }
354 | PciError::NoSuitableRange => RebootReason::InvalidFdt,
Andrew Walbrand1d03182022-12-09 18:20:01 +0000355 }
356}