blob: 0a3dca6271d842b037cc3b5754a6d2ea137d0d5f [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 Tosi1cc5eb72023-02-02 11:09:18 +000031mod instance;
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000032mod memory;
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000033mod rollback;
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;
Pierre-Clément Tosi92778802024-11-19 17:36:14 +000038use crate::fdt::{modify_for_next_stage, sanitize_device_tree};
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000039use crate::rollback::perform_rollback_protection;
Alan Stokes7f27c0d2023-09-07 16:22:58 +010040use alloc::borrow::Cow;
Alan Stokes4db76eb2023-04-26 14:28:15 +010041use alloc::boxed::Box;
Shikha Panwar73ba0d42024-03-20 14:43:21 +000042use bssl_avf::Digester;
Alice Wang87fbc4b2024-11-05 13:09:58 +000043use diced_open_dice::{bcc_handover_parse, DiceArtifacts, DiceContext, Hidden, VM_KEY_ALGORITHM};
Shikha Panwar73ba0d42024-03-20 14:43:21 +000044use libfdt::{Fdt, FdtNode};
Alan Stokes4db76eb2023-04-26 14:28:15 +010045use log::{debug, error, info, trace, warn};
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000046use pvmfw_avb::verify_payload;
Jiyong Parkc5d2ef22023-04-11 01:23:46 +090047use pvmfw_avb::DebugLevel;
Alice Wang0aa30322023-01-31 11:00:10 +000048use pvmfw_embedded_key::PUBLIC_KEY;
Pierre-Clément Tosif2c19d42024-10-01 17:42:04 +010049use vmbase::fdt::pci::{PciError, PciInfo};
Pierre-Clément Tosic332fae2023-06-22 11:37:12 +000050use vmbase::heap;
Pierre-Clément Tosi938b4fb2024-11-26 12:59:47 +000051use vmbase::memory::{flush, init_shared_pool, SIZE_4KB};
Pierre-Clément Tosi80251972023-07-12 12:51:12 +000052use vmbase::rand;
Alice Wangeade1672023-06-08 14:56:20 +000053use vmbase::virtio::pci;
Andrew Walbran68a8c162022-03-07 15:38:42 +000054
Pierre-Clément Tosibfa40602024-12-09 20:13:57 +000055fn main<'a>(
Pierre-Clément Tosi92778802024-11-19 17:36:14 +000056 untrusted_fdt: &mut Fdt,
Alice Wang28cbcf12022-12-01 07:58:28 +000057 signed_kernel: &[u8],
58 ramdisk: Option<&[u8]>,
Alice Wang843d8312023-02-15 09:47:06 +000059 current_bcc_handover: &[u8],
Alan Stokes65618332023-12-15 14:09:25 +000060 mut debug_policy: Option<&[u8]>,
Pierre-Clément Tosi92778802024-11-19 17:36:14 +000061 vm_dtbo: Option<&mut [u8]>,
62 vm_ref_dt: Option<&[u8]>,
Pierre-Clément Tosibfa40602024-12-09 20:13:57 +000063) -> Result<(&'a [u8], bool), RebootReason> {
Pierre-Clément Tosi37105a62022-10-18 12:21:48 +010064 info!("pVM firmware");
Pierre-Clément Tosi92778802024-11-19 17:36:14 +000065 debug!("FDT: {:?}", untrusted_fdt.as_ptr());
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000066 debug!("Signed kernel: {:?} ({:#x} bytes)", signed_kernel.as_ptr(), signed_kernel.len());
Alice Wanga78279c2022-12-16 12:41:19 +000067 debug!("AVB public key: addr={:?}, size={:#x} ({1})", PUBLIC_KEY.as_ptr(), PUBLIC_KEY.len());
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000068 if let Some(rd) = ramdisk {
69 debug!("Ramdisk: {:?} ({:#x} bytes)", rd.as_ptr(), rd.len());
70 } else {
71 debug!("Ramdisk: None");
72 }
Alan Stokes4db76eb2023-04-26 14:28:15 +010073
Alice Wang843d8312023-02-15 09:47:06 +000074 let bcc_handover = bcc_handover_parse(current_bcc_handover).map_err(|e| {
75 error!("Invalid BCC Handover: {e:?}");
76 RebootReason::InvalidBcc
77 })?;
78 trace!("BCC: {bcc_handover:x?}");
Andrew Walbran19690632022-12-07 16:41:30 +000079
Alan Stokes4db76eb2023-04-26 14:28:15 +010080 let cdi_seal = bcc_handover.cdi_seal();
81
82 let bcc = Bcc::new(bcc_handover.bcc()).map_err(|e| {
83 error!("{e}");
84 RebootReason::InvalidBcc
85 })?;
86
87 // The bootloader should never pass us a debug policy when the boot is secure (the bootloader
88 // is locked). If it gets it wrong, disregard it & log it, to avoid it causing problems.
89 if debug_policy.is_some() && !bcc.is_debug_mode() {
90 warn!("Ignoring debug policy, BCC does not indicate Debug mode");
91 debug_policy = None;
Alan Stokesd1ee63e2023-04-24 16:17:39 +010092 }
93
Alice Wang1f0add02023-01-23 16:22:53 +000094 let verified_boot_data = verify_payload(signed_kernel, ramdisk, PUBLIC_KEY).map_err(|e| {
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000095 error!("Failed to verify the payload: {e}");
96 RebootReason::PayloadVerificationError
97 })?;
Pierre-Clément Tosif90655d2023-06-28 11:00:17 +000098 let debuggable = verified_boot_data.debug_level != DebugLevel::None;
99 if debuggable {
100 info!("Successfully verified a debuggable payload.");
101 info!("Please disregard any previous libavb ERROR about initrd_normal.");
102 }
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +0000103
Pierre-Clément Tosi938b4fb2024-11-26 12:59:47 +0000104 let guest_page_size = verified_boot_data.page_size.unwrap_or(SIZE_4KB);
105 let fdt_info = sanitize_device_tree(untrusted_fdt, vm_dtbo, vm_ref_dt, guest_page_size)?;
Pierre-Clément Tosi92778802024-11-19 17:36:14 +0000106 let fdt = untrusted_fdt; // DT has now been sanitized.
107 let pci_info = PciInfo::from_fdt(fdt).map_err(handle_pci_error)?;
108 debug!("PCI: {:#x?}", pci_info);
109 // Set up PCI bus for VirtIO devices.
110 let mut pci_root = pci::initialize(pci_info).map_err(|e| {
111 error!("Failed to initialize PCI: {e}");
112 RebootReason::InternalError
113 })?;
114 init_shared_pool(fdt_info.swiotlb_info.fixed_range()).map_err(|e| {
115 error!("Failed to initialize shared pool: {e}");
116 RebootReason::InternalError
117 })?;
118
Pierre-Clément Tosi938b4fb2024-11-26 12:59:47 +0000119 let next_bcc_size = guest_page_size;
120 let next_bcc = heap::aligned_boxed_slice(next_bcc_size, guest_page_size).ok_or_else(|| {
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000121 error!("Failed to allocate the next-stage BCC");
122 RebootReason::InternalError
123 })?;
124 // By leaking the slice, its content will be left behind for the next stage.
125 let next_bcc = Box::leak(next_bcc);
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +0000126
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +0000127 let dice_inputs = PartialInputs::new(&verified_boot_data).map_err(|e| {
128 error!("Failed to compute partial DICE inputs: {e:?}");
129 RebootReason::InternalError
130 })?;
Shikha Panwar37490d42024-03-19 22:14:58 +0000131
Pierre-Clément Tosib9c83c62024-11-19 16:22:17 +0000132 let instance_hash = Some(salt_from_instance_id(fdt)?);
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +0000133 let (new_instance, salt, defer_rollback_protection) = perform_rollback_protection(
134 fdt,
135 &verified_boot_data,
136 &dice_inputs,
137 &mut pci_root,
138 cdi_seal,
139 instance_hash,
140 )?;
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000141 trace!("Got salt for instance: {salt:x?}");
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +0000142
Alan Stokes7f27c0d2023-09-07 16:22:58 +0100143 let new_bcc_handover = if cfg!(dice_changes) {
144 Cow::Borrowed(current_bcc_handover)
145 } else {
146 // It is possible that the DICE chain we were given is rooted in the UDS. We do not want to
147 // give such a chain to the payload, or even the associated CDIs. So remove the
148 // entire chain we were given and taint the CDIs. Note that the resulting CDIs are
149 // still deterministically derived from those we received, so will vary iff they do.
150 // TODO(b/280405545): Remove this post Android 14.
151 let truncated_bcc_handover = bcc::truncate(bcc_handover).map_err(|e| {
152 error!("{e}");
153 RebootReason::InternalError
154 })?;
155 Cow::Owned(truncated_bcc_handover)
156 };
Alan Stokesa38d3b32023-05-05 12:19:18 +0100157
Alice Wang6823ffc2024-10-29 15:54:34 +0000158 trace!("BCC leaf subject public key algorithm: {:?}", bcc.leaf_subject_pubkey().cose_alg);
159
Alice Wang87fbc4b2024-11-05 13:09:58 +0000160 let dice_context = DiceContext {
161 authority_algorithm: bcc.leaf_subject_pubkey().cose_alg.try_into().map_err(|e| {
162 error!("{e}");
163 RebootReason::InternalError
164 })?,
165 subject_algorithm: VM_KEY_ALGORITHM,
166 };
Shikha Panwarffadd4d2024-05-28 13:47:56 +0000167 dice_inputs
168 .write_next_bcc(
169 new_bcc_handover.as_ref(),
170 &salt,
171 instance_hash,
172 defer_rollback_protection,
173 next_bcc,
Alice Wang87fbc4b2024-11-05 13:09:58 +0000174 dice_context,
Shikha Panwarffadd4d2024-05-28 13:47:56 +0000175 )
176 .map_err(|e| {
Shikha Panwar8f7fc1a2024-04-10 10:41:34 +0000177 error!("Failed to derive next-stage DICE secrets: {e:?}");
178 RebootReason::SecretDerivationError
Shikha Panwarffadd4d2024-05-28 13:47:56 +0000179 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000180 flush(next_bcc);
181
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000182 let kaslr_seed = u64::from_ne_bytes(rand::random_array().map_err(|e| {
183 error!("Failed to generated guest KASLR seed: {e}");
184 RebootReason::InternalError
185 })?);
Pierre-Clément Tosib2d8aa72023-02-17 15:22:50 +0000186 let strict_boot = true;
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000187 modify_for_next_stage(
188 fdt,
189 next_bcc,
190 new_instance,
191 strict_boot,
192 debug_policy,
193 debuggable,
194 kaslr_seed,
195 )
196 .map_err(|e| {
197 error!("Failed to configure device tree: {e}");
198 RebootReason::InternalError
199 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000200
Alice Wang4379c832022-12-05 15:50:20 +0000201 info!("Starting payload...");
Pierre-Clément Tosibfa40602024-12-09 20:13:57 +0000202 Ok((next_bcc, debuggable))
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +0100203}
Andrew Walbrand1d03182022-12-09 18:20:01 +0000204
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000205// Get the "salt" which is one of the input for DICE derivation.
206// This provides differentiation of secrets for different VM instances with same payloads.
207fn salt_from_instance_id(fdt: &Fdt) -> Result<Hidden, RebootReason> {
208 let id = instance_id(fdt)?;
209 let salt = Digester::sha512()
210 .digest(&[&b"InstanceId:"[..], id].concat())
211 .map_err(|e| {
212 error!("Failed to get digest of instance-id: {e}");
213 RebootReason::InternalError
214 })?
215 .try_into()
216 .map_err(|_| RebootReason::InternalError)?;
217 Ok(salt)
218}
219
220fn instance_id(fdt: &Fdt) -> Result<&[u8], RebootReason> {
221 let node = avf_untrusted_node(fdt)?;
Alan Stokesf46a17c2025-01-05 15:50:18 +0000222 let id = node.getprop(c"instance-id").map_err(|e| {
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000223 error!("Failed to get instance-id in DT: {e}");
224 RebootReason::InvalidFdt
225 })?;
226 id.ok_or_else(|| {
227 error!("Missing instance-id");
228 RebootReason::InvalidFdt
229 })
230}
231
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000232fn avf_untrusted_node(fdt: &Fdt) -> Result<FdtNode, RebootReason> {
Alan Stokesf46a17c2025-01-05 15:50:18 +0000233 let node = fdt.node(c"/avf/untrusted").map_err(|e| {
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000234 error!("Failed to get /avf/untrusted node: {e}");
235 RebootReason::InvalidFdt
236 })?;
237 node.ok_or_else(|| {
238 error!("/avf/untrusted node is missing in DT");
239 RebootReason::InvalidFdt
240 })
241}
242
Andrew Walbrand1d03182022-12-09 18:20:01 +0000243/// Logs the given PCI error and returns the appropriate `RebootReason`.
244fn handle_pci_error(e: PciError) -> RebootReason {
245 error!("{}", e);
246 match e {
247 PciError::FdtErrorPci(_)
248 | PciError::FdtNoPci
249 | PciError::FdtErrorReg(_)
250 | PciError::FdtMissingReg
251 | PciError::FdtRegEmpty
252 | PciError::FdtRegMissingSize
253 | PciError::CamWrongSize(_)
254 | PciError::FdtErrorRanges(_)
255 | PciError::FdtMissingRanges
256 | PciError::RangeAddressMismatch { .. }
257 | PciError::NoSuitableRange => RebootReason::InvalidFdt,
Andrew Walbrand1d03182022-12-09 18:20:01 +0000258 }
259}