blob: 12d63d52a760bd60767a4cb24f84512e8dd4ba97 [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;
45use core::ops::Range;
Alan Stokesc4354b82023-05-04 16:06:52 +010046use diced_open_dice::{bcc_handover_parse, DiceArtifacts};
Andrew Walbran730375d2022-12-21 14:04:34 +000047use fdtpci::{PciError, PciInfo};
Andrew Walbran19690632022-12-07 16:41:30 +000048use libfdt::Fdt;
Alan Stokes4db76eb2023-04-26 14:28:15 +010049use log::{debug, error, info, trace, warn};
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000050use pvmfw_avb::verify_payload;
Alice Wangab0d0202023-05-17 08:07:41 +000051use pvmfw_avb::Capability;
Jiyong Parkc5d2ef22023-04-11 01:23:46 +090052use pvmfw_avb::DebugLevel;
Alice Wang0aa30322023-01-31 11:00:10 +000053use pvmfw_embedded_key::PUBLIC_KEY;
Pierre-Clément Tosic332fae2023-06-22 11:37:12 +000054use vmbase::heap;
Alice Wang3fa9b802023-06-06 07:52:31 +000055use vmbase::memory::flush;
Alice Wang93ee98a2023-06-08 08:20:39 +000056use vmbase::memory::MEMORY;
Pierre-Clément Tosi80251972023-07-12 12:51:12 +000057use vmbase::rand;
Alice Wangeade1672023-06-08 14:56:20 +000058use vmbase::virtio::pci;
Andrew Walbran68a8c162022-03-07 15:38:42 +000059
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +000060const NEXT_BCC_SIZE: usize = GUEST_PAGE_SIZE;
61
Alice Wang28cbcf12022-12-01 07:58:28 +000062fn main(
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000063 fdt: &mut Fdt,
Alice Wang28cbcf12022-12-01 07:58:28 +000064 signed_kernel: &[u8],
65 ramdisk: Option<&[u8]>,
Alice Wang843d8312023-02-15 09:47:06 +000066 current_bcc_handover: &[u8],
Alan Stokes65618332023-12-15 14:09:25 +000067 mut debug_policy: Option<&[u8]>,
Pierre-Clément Tosi97f52492023-04-04 15:52:17 +010068) -> Result<Range<usize>, RebootReason> {
Pierre-Clément Tosi37105a62022-10-18 12:21:48 +010069 info!("pVM firmware");
Pierre-Clément Tosi8036b4f2023-02-17 10:31:31 +000070 debug!("FDT: {:?}", fdt.as_ptr());
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000071 debug!("Signed kernel: {:?} ({:#x} bytes)", signed_kernel.as_ptr(), signed_kernel.len());
Alice Wanga78279c2022-12-16 12:41:19 +000072 debug!("AVB public key: addr={:?}, size={:#x} ({1})", PUBLIC_KEY.as_ptr(), PUBLIC_KEY.len());
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000073 if let Some(rd) = ramdisk {
74 debug!("Ramdisk: {:?} ({:#x} bytes)", rd.as_ptr(), rd.len());
75 } else {
76 debug!("Ramdisk: None");
77 }
Alan Stokes4db76eb2023-04-26 14:28:15 +010078
Alice Wang843d8312023-02-15 09:47:06 +000079 let bcc_handover = bcc_handover_parse(current_bcc_handover).map_err(|e| {
80 error!("Invalid BCC Handover: {e:?}");
81 RebootReason::InvalidBcc
82 })?;
83 trace!("BCC: {bcc_handover:x?}");
Andrew Walbran19690632022-12-07 16:41:30 +000084
Alan Stokes4db76eb2023-04-26 14:28:15 +010085 let cdi_seal = bcc_handover.cdi_seal();
86
87 let bcc = Bcc::new(bcc_handover.bcc()).map_err(|e| {
88 error!("{e}");
89 RebootReason::InvalidBcc
90 })?;
91
92 // The bootloader should never pass us a debug policy when the boot is secure (the bootloader
93 // is locked). If it gets it wrong, disregard it & log it, to avoid it causing problems.
94 if debug_policy.is_some() && !bcc.is_debug_mode() {
95 warn!("Ignoring debug policy, BCC does not indicate Debug mode");
96 debug_policy = None;
Alan Stokesd1ee63e2023-04-24 16:17:39 +010097 }
98
Andrew Walbran19690632022-12-07 16:41:30 +000099 // Set up PCI bus for VirtIO devices.
Andrew Walbrand1d03182022-12-09 18:20:01 +0000100 let pci_info = PciInfo::from_fdt(fdt).map_err(handle_pci_error)?;
101 debug!("PCI: {:#x?}", pci_info);
Alice Wangeff58392023-07-04 13:32:09 +0000102 let mut pci_root = pci::initialize(pci_info, MEMORY.lock().as_mut().unwrap()).map_err(|e| {
103 error!("Failed to initialize PCI: {e}");
Alice Wang287de622023-06-08 13:17:03 +0000104 RebootReason::InternalError
105 })?;
Andrew Walbran19690632022-12-07 16:41:30 +0000106
Alice Wang1f0add02023-01-23 16:22:53 +0000107 let verified_boot_data = verify_payload(signed_kernel, ramdisk, PUBLIC_KEY).map_err(|e| {
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +0000108 error!("Failed to verify the payload: {e}");
109 RebootReason::PayloadVerificationError
110 })?;
Pierre-Clément Tosif90655d2023-06-28 11:00:17 +0000111 let debuggable = verified_boot_data.debug_level != DebugLevel::None;
112 if debuggable {
113 info!("Successfully verified a debuggable payload.");
114 info!("Please disregard any previous libavb ERROR about initrd_normal.");
115 }
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +0000116
Shikha Panwar4a0651d2023-09-28 13:06:13 +0000117 if verified_boot_data.has_capability(Capability::RemoteAttest) {
Alice Wangab0d0202023-05-17 08:07:41 +0000118 info!("Service VM capable of remote attestation detected");
Alice Wang12e4c862023-12-11 13:52:27 +0000119 if service_vm_version::VERSION != verified_boot_data.rollback_index {
120 // For RKP VM, we only boot if the version in the AVB footer of its kernel matches
121 // the one embedded in pvmfw at build time.
122 // This prevents the pvmfw from booting a roll backed RKP VM.
123 error!(
124 "Service VM version mismatch: expected {}, found {}",
125 service_vm_version::VERSION,
126 verified_boot_data.rollback_index
127 );
128 return Err(RebootReason::InvalidPayload);
129 }
Alice Wangab0d0202023-05-17 08:07:41 +0000130 }
131
Shikha Panwar4a0651d2023-09-28 13:06:13 +0000132 if verified_boot_data.has_capability(Capability::SecretkeeperProtection) {
133 info!("Guest OS is capable of Secretkeeper protection");
134 // For Secretkeeper based Antirollback protection, rollback_index of the image > 0
135 if verified_boot_data.rollback_index == 0 {
136 error!(
137 "Expected positive rollback_index, found {:?}",
138 verified_boot_data.rollback_index
139 );
140 return Err(RebootReason::InvalidPayload);
141 };
142 }
143
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000144 let next_bcc = heap::aligned_boxed_slice(NEXT_BCC_SIZE, GUEST_PAGE_SIZE).ok_or_else(|| {
145 error!("Failed to allocate the next-stage BCC");
146 RebootReason::InternalError
147 })?;
148 // By leaking the slice, its content will be left behind for the next stage.
149 let next_bcc = Box::leak(next_bcc);
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +0000150
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +0000151 let dice_inputs = PartialInputs::new(&verified_boot_data).map_err(|e| {
152 error!("Failed to compute partial DICE inputs: {e:?}");
153 RebootReason::InternalError
154 })?;
Shikha Panwar37490d42024-03-19 22:14:58 +0000155
156 let (recorded_entry, mut instance_img, header_index) =
157 get_recorded_entry(&mut pci_root, cdi_seal).map_err(|e| {
158 error!("Failed to get entry from instance.img: {e}");
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +0000159 RebootReason::InternalError
160 })?;
Shikha Panwar37490d42024-03-19 22:14:58 +0000161 let (new_instance, salt) = if let Some(entry) = recorded_entry {
162 // The RKP VM is allowed to run if it has passed the verified boot check and
163 // contains the expected version in its AVB footer.
164 // The comparison below with the previous boot information is skipped to enable the
165 // simultaneous update of the pvmfw and RKP VM.
166 // For instance, when both the pvmfw and RKP VM are updated, the code hash of the
167 // RKP VM will differ from the one stored in the instance image. In this case, the
168 // RKP VM is still allowed to run.
169 // This ensures that the updated RKP VM will retain the same CDIs in the next stage.
170 if !dice_inputs.rkp_vm_marker {
171 ensure_dice_measurements_match_entry(&dice_inputs, &entry).map_err(|e| {
172 error!(
173 "Dice measurements do not match recorded entry.
174 This may be because of update: {e}"
175 );
176 RebootReason::InternalError
177 })?;
178 }
179 (false, entry.salt)
180 } else {
181 let salt = rand::random_array().map_err(|e| {
182 error!("Failed to generated instance.img salt: {e}");
183 RebootReason::InternalError
184 })?;
185 let entry = EntryBody::new(&dice_inputs, &salt);
186 record_instance_entry(&entry, cdi_seal, &mut instance_img, header_index).map_err(|e| {
187 error!("Failed to get recorded entry in instance.img: {e}");
188 RebootReason::InternalError
189 })?;
190 (true, salt)
191 };
Pierre-Clément Tosi1cc5eb72023-02-02 11:09:18 +0000192 trace!("Got salt from instance.img: {salt:x?}");
193
Alan Stokes7f27c0d2023-09-07 16:22:58 +0100194 let new_bcc_handover = if cfg!(dice_changes) {
195 Cow::Borrowed(current_bcc_handover)
196 } else {
197 // It is possible that the DICE chain we were given is rooted in the UDS. We do not want to
198 // give such a chain to the payload, or even the associated CDIs. So remove the
199 // entire chain we were given and taint the CDIs. Note that the resulting CDIs are
200 // still deterministically derived from those we received, so will vary iff they do.
201 // TODO(b/280405545): Remove this post Android 14.
202 let truncated_bcc_handover = bcc::truncate(bcc_handover).map_err(|e| {
203 error!("{e}");
204 RebootReason::InternalError
205 })?;
206 Cow::Owned(truncated_bcc_handover)
207 };
Alan Stokesa38d3b32023-05-05 12:19:18 +0100208
Alan Stokes7f27c0d2023-09-07 16:22:58 +0100209 dice_inputs.write_next_bcc(new_bcc_handover.as_ref(), &salt, next_bcc).map_err(|e| {
210 error!("Failed to derive next-stage DICE secrets: {e:?}");
211 RebootReason::SecretDerivationError
212 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000213 flush(next_bcc);
214
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000215 let kaslr_seed = u64::from_ne_bytes(rand::random_array().map_err(|e| {
216 error!("Failed to generated guest KASLR seed: {e}");
217 RebootReason::InternalError
218 })?);
Pierre-Clément Tosib2d8aa72023-02-17 15:22:50 +0000219 let strict_boot = true;
Pierre-Clément Tosi80251972023-07-12 12:51:12 +0000220 modify_for_next_stage(
221 fdt,
222 next_bcc,
223 new_instance,
224 strict_boot,
225 debug_policy,
226 debuggable,
227 kaslr_seed,
228 )
229 .map_err(|e| {
230 error!("Failed to configure device tree: {e}");
231 RebootReason::InternalError
232 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000233
Alice Wang4379c832022-12-05 15:50:20 +0000234 info!("Starting payload...");
Pierre-Clément Tosi97f52492023-04-04 15:52:17 +0100235
236 let bcc_range = {
237 let r = next_bcc.as_ptr_range();
238 (r.start as usize)..(r.end as usize)
239 };
240
241 Ok(bcc_range)
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +0100242}
Andrew Walbrand1d03182022-12-09 18:20:01 +0000243
Shikha Panwar37490d42024-03-19 22:14:58 +0000244fn ensure_dice_measurements_match_entry(
245 dice_inputs: &PartialInputs,
246 entry: &EntryBody,
247) -> Result<(), InstanceError> {
248 if entry.code_hash != dice_inputs.code_hash {
249 Err(InstanceError::RecordedCodeHashMismatch)
250 } else if entry.auth_hash != dice_inputs.auth_hash {
251 Err(InstanceError::RecordedAuthHashMismatch)
252 } else if entry.mode() != dice_inputs.mode {
253 Err(InstanceError::RecordedDiceModeMismatch)
254 } else {
255 Ok(())
256 }
257}
258
Andrew Walbrand1d03182022-12-09 18:20:01 +0000259/// Logs the given PCI error and returns the appropriate `RebootReason`.
260fn handle_pci_error(e: PciError) -> RebootReason {
261 error!("{}", e);
262 match e {
263 PciError::FdtErrorPci(_)
264 | PciError::FdtNoPci
265 | PciError::FdtErrorReg(_)
266 | PciError::FdtMissingReg
267 | PciError::FdtRegEmpty
268 | PciError::FdtRegMissingSize
269 | PciError::CamWrongSize(_)
270 | PciError::FdtErrorRanges(_)
271 | PciError::FdtMissingRanges
272 | PciError::RangeAddressMismatch { .. }
273 | PciError::NoSuitableRange => RebootReason::InvalidFdt,
Andrew Walbrand1d03182022-12-09 18:20:01 +0000274 }
275}