blob: f5053187cf2dc88c30a6db5757690610ec60ed19 [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
Michał Mazurek8a45d0a2024-11-29 10:38:55 +010022mod arch;
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;
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000028mod fdt;
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +000029mod gpt;
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +000030mod instance;
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000031mod memory;
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000032mod rollback;
Andrew Walbran68a8c162022-03-07 15:38:42 +000033
Pierre-Clément Tosi520664c2025-03-03 11:51:53 -080034use crate::dice::{DiceChainInfo, PartialInputs};
Pierre-Clément Tosi4ba79662023-02-13 11:22:41 +000035use crate::entry::RebootReason;
Pierre-Clément Tosi3729f652024-11-19 15:25:37 +000036use crate::fdt::{modify_for_next_stage, read_instance_id, sanitize_device_tree};
Pierre-Clément Tosi10bea6f2024-11-26 22:04:10 +000037use crate::rollback::perform_rollback_protection;
Alan Stokes7f27c0d2023-09-07 16:22:58 +010038use alloc::borrow::Cow;
Alan Stokes4db76eb2023-04-26 14:28:15 +010039use alloc::boxed::Box;
Pierre-Clément Tosi65250402025-03-21 16:36:58 +000040use alloc::vec::Vec;
Shikha Panwar73ba0d42024-03-20 14:43:21 +000041use bssl_avf::Digester;
Pierre-Clément Tosi65250402025-03-21 16:36:58 +000042use diced_open_dice::{
43 bcc_handover_parse, DiceArtifacts, DiceContext, Hidden, HIDDEN_SIZE, VM_KEY_ALGORITHM,
44};
Pierre-Clément Tosi3729f652024-11-19 15:25:37 +000045use libfdt::Fdt;
Alan Stokes4db76eb2023-04-26 14:28:15 +010046use log::{debug, error, info, trace, warn};
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000047use pvmfw_avb::verify_payload;
Jiyong Parkc5d2ef22023-04-11 01:23:46 +090048use pvmfw_avb::DebugLevel;
Pierre-Clément Tosi49cf1272025-03-21 16:38:15 +000049use pvmfw_avb::VerifiedBootData;
Alice Wang0aa30322023-01-31 11:00:10 +000050use pvmfw_embedded_key::PUBLIC_KEY;
Pierre-Clément Tosic332fae2023-06-22 11:37:12 +000051use vmbase::heap;
Pierre-Clément Tosiba666fe2024-11-19 16:44:33 +000052use vmbase::memory::{flush, SIZE_4KB};
Pierre-Clément Tosi80251972023-07-12 12:51:12 +000053use vmbase::rand;
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]>,
Pierre-Clément Tosi520664c2025-03-03 11:51:53 -080059 current_dice_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
Pierre-Clément Tosi65250402025-03-21 16:36:58 +000074 let (dice_handover_bytes, dice_cdi_seal, dice_context, dice_debug_mode) =
75 parse_dice_handover(current_dice_handover)?;
Alan Stokes4db76eb2023-04-26 14:28:15 +010076
77 // The bootloader should never pass us a debug policy when the boot is secure (the bootloader
78 // is locked). If it gets it wrong, disregard it & log it, to avoid it causing problems.
Pierre-Clément Tosi65250402025-03-21 16:36:58 +000079 if debug_policy.is_some() && !dice_debug_mode {
Pierre-Clément Tosi520664c2025-03-03 11:51:53 -080080 warn!("Ignoring debug policy, DICE handover does not indicate Debug mode");
Alan Stokes4db76eb2023-04-26 14:28:15 +010081 debug_policy = None;
Alan Stokesd1ee63e2023-04-24 16:17:39 +010082 }
83
Pierre-Clément Tosi49cf1272025-03-21 16:38:15 +000084 let (verified_boot_data, debuggable, guest_page_size) =
85 perform_verified_boot(signed_kernel, ramdisk)?;
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000086
Pierre-Clément Tosia30121b2025-03-12 11:30:32 +000087 let hyp_page_size = hypervisor_backends::get_granule_size();
Pierre-Clément Tosic9edf0f2025-02-06 17:47:25 +000088 let _ =
89 sanitize_device_tree(untrusted_fdt, vm_dtbo, vm_ref_dt, guest_page_size, hyp_page_size)?;
Pierre-Clément Tosi92778802024-11-19 17:36:14 +000090 let fdt = untrusted_fdt; // DT has now been sanitized.
Pierre-Clément Tosi92778802024-11-19 17:36:14 +000091
Pierre-Clément Tosi2d635322025-03-21 16:01:21 +000092 let instance_hash = salt_from_instance_id(fdt)?;
93 let dice_inputs = PartialInputs::new(&verified_boot_data, instance_hash).map_err(|e| {
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +000094 error!("Failed to compute partial DICE inputs: {e:?}");
95 RebootReason::InternalError
96 })?;
Shikha Panwar37490d42024-03-19 22:14:58 +000097
Pierre-Clément Tosi65250402025-03-21 16:36:58 +000098 let (new_instance, salt, defer_rollback_protection) =
99 perform_rollback_protection(fdt, &verified_boot_data, &dice_inputs, &dice_cdi_seal)?;
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000100 trace!("Got salt for instance: {salt:x?}");
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +0000101
Pierre-Clément Tosi65250402025-03-21 16:36:58 +0000102 let next_dice_handover = perform_dice_derivation(
103 dice_handover_bytes.as_ref(),
104 dice_context,
105 dice_inputs,
106 &salt,
107 defer_rollback_protection,
108 guest_page_size,
109 guest_page_size,
110 )?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000111
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000112 let kaslr_seed = u64::from_ne_bytes(rand::random_array().map_err(|e| {
113 error!("Failed to generated guest KASLR seed: {e}");
114 RebootReason::InternalError
115 })?);
Pierre-Clément Tosib2d8aa72023-02-17 15:22:50 +0000116 let strict_boot = true;
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000117 modify_for_next_stage(
118 fdt,
Pierre-Clément Tosi520664c2025-03-03 11:51:53 -0800119 next_dice_handover,
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000120 new_instance,
121 strict_boot,
122 debug_policy,
123 debuggable,
124 kaslr_seed,
125 )
126 .map_err(|e| {
127 error!("Failed to configure device tree: {e}");
128 RebootReason::InternalError
129 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000130
Alice Wang4379c832022-12-05 15:50:20 +0000131 info!("Starting payload...");
Pierre-Clément Tosi520664c2025-03-03 11:51:53 -0800132 Ok((next_dice_handover, debuggable))
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +0100133}
Andrew Walbrand1d03182022-12-09 18:20:01 +0000134
Pierre-Clément Tosi65250402025-03-21 16:36:58 +0000135fn parse_dice_handover(
136 bytes: &[u8],
137) -> Result<(Cow<'_, [u8]>, Vec<u8>, DiceContext, bool), RebootReason> {
138 let dice_handover = bcc_handover_parse(bytes).map_err(|e| {
139 error!("Invalid DICE Handover: {e:?}");
140 RebootReason::InvalidDiceHandover
141 })?;
142 trace!("DICE handover: {dice_handover:x?}");
143
144 let dice_chain_info = DiceChainInfo::new(dice_handover.bcc()).map_err(|e| {
145 error!("{e}");
146 RebootReason::InvalidDiceHandover
147 })?;
148 let is_debug_mode = dice_chain_info.is_debug_mode();
149 let cose_alg = dice_chain_info.leaf_subject_pubkey().cose_alg;
150 trace!("DICE chain leaf subject public key algorithm: {:?}", cose_alg);
151
152 let dice_context = DiceContext {
153 authority_algorithm: cose_alg.try_into().map_err(|e| {
154 error!("{e}");
155 RebootReason::InternalError
156 })?,
157 subject_algorithm: VM_KEY_ALGORITHM,
158 };
159
160 let cdi_seal = dice_handover.cdi_seal().to_vec();
161
162 let bytes_for_next = if cfg!(dice_changes) {
163 Cow::Borrowed(bytes)
164 } else {
165 // It is possible that the DICE chain we were given is rooted in the UDS. We do not want to
166 // give such a chain to the payload, or even the associated CDIs. So remove the
167 // entire chain we were given and taint the CDIs. Note that the resulting CDIs are
168 // still deterministically derived from those we received, so will vary iff they do.
169 // TODO(b/280405545): Remove this post Android 14.
170 let truncated_bytes = dice::chain::truncate(dice_handover).map_err(|e| {
171 error!("{e}");
172 RebootReason::InternalError
173 })?;
174 Cow::Owned(truncated_bytes)
175 };
176
177 Ok((bytes_for_next, cdi_seal, dice_context, is_debug_mode))
178}
179
180fn perform_dice_derivation<'a>(
181 dice_handover_bytes: &[u8],
182 dice_context: DiceContext,
183 dice_inputs: PartialInputs,
184 salt: &[u8; HIDDEN_SIZE],
185 defer_rollback_protection: bool,
186 next_handover_size: usize,
187 next_handover_align: usize,
188) -> Result<&'a [u8], RebootReason> {
189 let next_dice_handover = heap::aligned_boxed_slice(next_handover_size, next_handover_align)
190 .ok_or_else(|| {
191 error!("Failed to allocate the next-stage DICE handover");
192 RebootReason::InternalError
193 })?;
194 // By leaking the slice, its content will be left behind for the next stage.
195 let next_dice_handover = Box::leak(next_dice_handover);
196
197 dice_inputs
198 .write_next_handover(
199 dice_handover_bytes.as_ref(),
200 salt,
201 defer_rollback_protection,
202 next_dice_handover,
203 dice_context,
204 )
205 .map_err(|e| {
206 error!("Failed to derive next-stage DICE secrets: {e:?}");
207 RebootReason::SecretDerivationError
208 })?;
209 flush(next_dice_handover);
210 Ok(next_dice_handover)
211}
212
Pierre-Clément Tosi49cf1272025-03-21 16:38:15 +0000213fn perform_verified_boot<'a>(
214 signed_kernel: &[u8],
215 ramdisk: Option<&[u8]>,
216) -> Result<(VerifiedBootData<'a>, bool, usize), RebootReason> {
217 let verified_boot_data = verify_payload(signed_kernel, ramdisk, PUBLIC_KEY).map_err(|e| {
218 error!("Failed to verify the payload: {e}");
219 RebootReason::PayloadVerificationError
220 })?;
221 let debuggable = verified_boot_data.debug_level != DebugLevel::None;
222 if debuggable {
223 info!("Successfully verified a debuggable payload.");
224 info!("Please disregard any previous libavb ERROR about initrd_normal.");
225 }
226 let guest_page_size = verified_boot_data.page_size.unwrap_or(SIZE_4KB);
227
228 Ok((verified_boot_data, debuggable, guest_page_size))
229}
230
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000231// Get the "salt" which is one of the input for DICE derivation.
232// This provides differentiation of secrets for different VM instances with same payloads.
Pierre-Clément Tosif89759c2024-11-19 15:25:37 +0000233fn salt_from_instance_id(fdt: &Fdt) -> Result<Option<Hidden>, RebootReason> {
Pierre-Clément Tosi3729f652024-11-19 15:25:37 +0000234 let Some(id) = read_instance_id(fdt).map_err(|e| {
235 error!("Failed to get instance-id in DT: {e}");
236 RebootReason::InvalidFdt
237 })?
238 else {
239 return Ok(None);
240 };
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000241 let salt = Digester::sha512()
242 .digest(&[&b"InstanceId:"[..], id].concat())
243 .map_err(|e| {
244 error!("Failed to get digest of instance-id: {e}");
245 RebootReason::InternalError
246 })?
247 .try_into()
248 .map_err(|_| RebootReason::InternalError)?;
Pierre-Clément Tosif89759c2024-11-19 15:25:37 +0000249 Ok(Some(salt))
Shikha Panwar73ba0d42024-03-20 14:43:21 +0000250}