Andrew Walbran | 68a8c16 | 2022-03-07 15:38:42 +0000 | [diff] [blame] | 1 | // 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 Tosi | db74cb1 | 2022-12-08 13:56:25 +0000 | [diff] [blame] | 20 | extern crate alloc; |
| 21 | |
Michał Mazurek | 8a45d0a | 2024-11-29 10:38:55 +0100 | [diff] [blame] | 22 | mod arch; |
Alan Stokes | 4db76eb | 2023-04-26 14:28:15 +0100 | [diff] [blame] | 23 | mod bcc; |
Jiyong Park | c5d2ef2 | 2023-04-11 01:23:46 +0900 | [diff] [blame] | 24 | mod bootargs; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 25 | mod config; |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 26 | mod device_assignment; |
Pierre-Clément Tosi | 4f4f5eb | 2022-12-08 14:31:42 +0000 | [diff] [blame] | 27 | mod dice; |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 28 | mod entry; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 29 | mod fdt; |
Pierre-Clément Tosi | 1cc5eb7 | 2023-02-02 11:09:18 +0000 | [diff] [blame] | 30 | mod gpt; |
Pierre-Clément Tosi | 1cc5eb7 | 2023-02-02 11:09:18 +0000 | [diff] [blame] | 31 | mod instance; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 32 | mod memory; |
Pierre-Clément Tosi | 10bea6f | 2024-11-26 22:04:10 +0000 | [diff] [blame] | 33 | mod rollback; |
Andrew Walbran | 68a8c16 | 2022-03-07 15:38:42 +0000 | [diff] [blame] | 34 | |
Alan Stokes | 4db76eb | 2023-04-26 14:28:15 +0100 | [diff] [blame] | 35 | use crate::bcc::Bcc; |
Pierre-Clément Tosi | 4ba7966 | 2023-02-13 11:22:41 +0000 | [diff] [blame] | 36 | use crate::dice::PartialInputs; |
| 37 | use crate::entry::RebootReason; |
Pierre-Clément Tosi | 3729f65 | 2024-11-19 15:25:37 +0000 | [diff] [blame] | 38 | use crate::fdt::{modify_for_next_stage, read_instance_id, sanitize_device_tree}; |
Pierre-Clément Tosi | 10bea6f | 2024-11-26 22:04:10 +0000 | [diff] [blame] | 39 | use crate::rollback::perform_rollback_protection; |
Alan Stokes | 7f27c0d | 2023-09-07 16:22:58 +0100 | [diff] [blame] | 40 | use alloc::borrow::Cow; |
Alan Stokes | 4db76eb | 2023-04-26 14:28:15 +0100 | [diff] [blame] | 41 | use alloc::boxed::Box; |
Shikha Panwar | 73ba0d4 | 2024-03-20 14:43:21 +0000 | [diff] [blame] | 42 | use bssl_avf::Digester; |
Alice Wang | 87fbc4b | 2024-11-05 13:09:58 +0000 | [diff] [blame] | 43 | use diced_open_dice::{bcc_handover_parse, DiceArtifacts, DiceContext, Hidden, VM_KEY_ALGORITHM}; |
Pierre-Clément Tosi | c9edf0f | 2025-02-06 17:47:25 +0000 | [diff] [blame] | 44 | use hypervisor_backends::get_mem_sharer; |
Pierre-Clément Tosi | 3729f65 | 2024-11-19 15:25:37 +0000 | [diff] [blame] | 45 | use libfdt::Fdt; |
Alan Stokes | 4db76eb | 2023-04-26 14:28:15 +0100 | [diff] [blame] | 46 | use log::{debug, error, info, trace, warn}; |
Pierre-Clément Tosi | 2d65298 | 2023-01-09 19:30:17 +0000 | [diff] [blame] | 47 | use pvmfw_avb::verify_payload; |
Jiyong Park | c5d2ef2 | 2023-04-11 01:23:46 +0900 | [diff] [blame] | 48 | use pvmfw_avb::DebugLevel; |
Alice Wang | 0aa3032 | 2023-01-31 11:00:10 +0000 | [diff] [blame] | 49 | use pvmfw_embedded_key::PUBLIC_KEY; |
Pierre-Clément Tosi | c332fae | 2023-06-22 11:37:12 +0000 | [diff] [blame] | 50 | use vmbase::heap; |
Pierre-Clément Tosi | ba666fe | 2024-11-19 16:44:33 +0000 | [diff] [blame] | 51 | use vmbase::memory::{flush, SIZE_4KB}; |
Pierre-Clément Tosi | 8025197 | 2023-07-12 12:51:12 +0000 | [diff] [blame] | 52 | use vmbase::rand; |
Andrew Walbran | 68a8c16 | 2022-03-07 15:38:42 +0000 | [diff] [blame] | 53 | |
Pierre-Clément Tosi | bfa4060 | 2024-12-09 20:13:57 +0000 | [diff] [blame] | 54 | fn main<'a>( |
Pierre-Clément Tosi | 9277880 | 2024-11-19 17:36:14 +0000 | [diff] [blame] | 55 | untrusted_fdt: &mut Fdt, |
Alice Wang | 28cbcf1 | 2022-12-01 07:58:28 +0000 | [diff] [blame] | 56 | signed_kernel: &[u8], |
| 57 | ramdisk: Option<&[u8]>, |
Alice Wang | 843d831 | 2023-02-15 09:47:06 +0000 | [diff] [blame] | 58 | current_bcc_handover: &[u8], |
Alan Stokes | 6561833 | 2023-12-15 14:09:25 +0000 | [diff] [blame] | 59 | mut debug_policy: Option<&[u8]>, |
Pierre-Clément Tosi | 9277880 | 2024-11-19 17:36:14 +0000 | [diff] [blame] | 60 | vm_dtbo: Option<&mut [u8]>, |
| 61 | vm_ref_dt: Option<&[u8]>, |
Pierre-Clément Tosi | bfa4060 | 2024-12-09 20:13:57 +0000 | [diff] [blame] | 62 | ) -> Result<(&'a [u8], bool), RebootReason> { |
Pierre-Clément Tosi | 37105a6 | 2022-10-18 12:21:48 +0100 | [diff] [blame] | 63 | info!("pVM firmware"); |
Pierre-Clément Tosi | 9277880 | 2024-11-19 17:36:14 +0000 | [diff] [blame] | 64 | debug!("FDT: {:?}", untrusted_fdt.as_ptr()); |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 65 | debug!("Signed kernel: {:?} ({:#x} bytes)", signed_kernel.as_ptr(), signed_kernel.len()); |
Alice Wang | a78279c | 2022-12-16 12:41:19 +0000 | [diff] [blame] | 66 | debug!("AVB public key: addr={:?}, size={:#x} ({1})", PUBLIC_KEY.as_ptr(), PUBLIC_KEY.len()); |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 67 | if let Some(rd) = ramdisk { |
| 68 | debug!("Ramdisk: {:?} ({:#x} bytes)", rd.as_ptr(), rd.len()); |
| 69 | } else { |
| 70 | debug!("Ramdisk: None"); |
| 71 | } |
Alan Stokes | 4db76eb | 2023-04-26 14:28:15 +0100 | [diff] [blame] | 72 | |
Alice Wang | 843d831 | 2023-02-15 09:47:06 +0000 | [diff] [blame] | 73 | let bcc_handover = bcc_handover_parse(current_bcc_handover).map_err(|e| { |
| 74 | error!("Invalid BCC Handover: {e:?}"); |
| 75 | RebootReason::InvalidBcc |
| 76 | })?; |
| 77 | trace!("BCC: {bcc_handover:x?}"); |
Andrew Walbran | 1969063 | 2022-12-07 16:41:30 +0000 | [diff] [blame] | 78 | |
Alan Stokes | 4db76eb | 2023-04-26 14:28:15 +0100 | [diff] [blame] | 79 | let bcc = Bcc::new(bcc_handover.bcc()).map_err(|e| { |
| 80 | error!("{e}"); |
| 81 | RebootReason::InvalidBcc |
| 82 | })?; |
| 83 | |
| 84 | // The bootloader should never pass us a debug policy when the boot is secure (the bootloader |
| 85 | // is locked). If it gets it wrong, disregard it & log it, to avoid it causing problems. |
| 86 | if debug_policy.is_some() && !bcc.is_debug_mode() { |
| 87 | warn!("Ignoring debug policy, BCC does not indicate Debug mode"); |
| 88 | debug_policy = None; |
Alan Stokes | d1ee63e | 2023-04-24 16:17:39 +0100 | [diff] [blame] | 89 | } |
| 90 | |
Alice Wang | 1f0add0 | 2023-01-23 16:22:53 +0000 | [diff] [blame] | 91 | let verified_boot_data = verify_payload(signed_kernel, ramdisk, PUBLIC_KEY).map_err(|e| { |
Pierre-Clément Tosi | 2d65298 | 2023-01-09 19:30:17 +0000 | [diff] [blame] | 92 | error!("Failed to verify the payload: {e}"); |
| 93 | RebootReason::PayloadVerificationError |
| 94 | })?; |
Pierre-Clément Tosi | f90655d | 2023-06-28 11:00:17 +0000 | [diff] [blame] | 95 | let debuggable = verified_boot_data.debug_level != DebugLevel::None; |
| 96 | if debuggable { |
| 97 | info!("Successfully verified a debuggable payload."); |
| 98 | info!("Please disregard any previous libavb ERROR about initrd_normal."); |
| 99 | } |
Pierre-Clément Tosi | 2d65298 | 2023-01-09 19:30:17 +0000 | [diff] [blame] | 100 | |
Pierre-Clément Tosi | 938b4fb | 2024-11-26 12:59:47 +0000 | [diff] [blame] | 101 | let guest_page_size = verified_boot_data.page_size.unwrap_or(SIZE_4KB); |
Pierre-Clément Tosi | c9edf0f | 2025-02-06 17:47:25 +0000 | [diff] [blame] | 102 | // TODO(ptosi): Cache the (single?) granule once, in vmbase. |
| 103 | let hyp_page_size = if let Some(mem_sharer) = get_mem_sharer() { |
| 104 | Some(mem_sharer.granule().map_err(|e| { |
| 105 | error!("Failed to get granule size: {e}"); |
| 106 | RebootReason::InternalError |
| 107 | })?) |
| 108 | } else { |
| 109 | None |
| 110 | }; |
| 111 | let _ = |
| 112 | sanitize_device_tree(untrusted_fdt, vm_dtbo, vm_ref_dt, guest_page_size, hyp_page_size)?; |
Pierre-Clément Tosi | 9277880 | 2024-11-19 17:36:14 +0000 | [diff] [blame] | 113 | let fdt = untrusted_fdt; // DT has now been sanitized. |
Pierre-Clément Tosi | 9277880 | 2024-11-19 17:36:14 +0000 | [diff] [blame] | 114 | |
Pierre-Clément Tosi | 938b4fb | 2024-11-26 12:59:47 +0000 | [diff] [blame] | 115 | let next_bcc_size = guest_page_size; |
| 116 | let next_bcc = heap::aligned_boxed_slice(next_bcc_size, guest_page_size).ok_or_else(|| { |
Pierre-Clément Tosi | db74cb1 | 2022-12-08 13:56:25 +0000 | [diff] [blame] | 117 | error!("Failed to allocate the next-stage BCC"); |
| 118 | RebootReason::InternalError |
| 119 | })?; |
| 120 | // By leaking the slice, its content will be left behind for the next stage. |
| 121 | let next_bcc = Box::leak(next_bcc); |
Pierre-Clément Tosi | 4f4f5eb | 2022-12-08 14:31:42 +0000 | [diff] [blame] | 122 | |
Pierre-Clément Tosi | f58f3a3 | 2023-02-02 16:24:23 +0000 | [diff] [blame] | 123 | let dice_inputs = PartialInputs::new(&verified_boot_data).map_err(|e| { |
| 124 | error!("Failed to compute partial DICE inputs: {e:?}"); |
| 125 | RebootReason::InternalError |
| 126 | })?; |
Shikha Panwar | 37490d4 | 2024-03-19 22:14:58 +0000 | [diff] [blame] | 127 | |
Pierre-Clément Tosi | f89759c | 2024-11-19 15:25:37 +0000 | [diff] [blame] | 128 | let instance_hash = salt_from_instance_id(fdt)?; |
Pierre-Clément Tosi | 10bea6f | 2024-11-26 22:04:10 +0000 | [diff] [blame] | 129 | let (new_instance, salt, defer_rollback_protection) = perform_rollback_protection( |
| 130 | fdt, |
| 131 | &verified_boot_data, |
| 132 | &dice_inputs, |
Pierre-Clément Tosi | ba666fe | 2024-11-19 16:44:33 +0000 | [diff] [blame] | 133 | bcc_handover.cdi_seal(), |
Pierre-Clément Tosi | 10bea6f | 2024-11-26 22:04:10 +0000 | [diff] [blame] | 134 | instance_hash, |
| 135 | )?; |
Shikha Panwar | 73ba0d4 | 2024-03-20 14:43:21 +0000 | [diff] [blame] | 136 | trace!("Got salt for instance: {salt:x?}"); |
Pierre-Clément Tosi | 1cc5eb7 | 2023-02-02 11:09:18 +0000 | [diff] [blame] | 137 | |
Alan Stokes | 7f27c0d | 2023-09-07 16:22:58 +0100 | [diff] [blame] | 138 | let new_bcc_handover = if cfg!(dice_changes) { |
| 139 | Cow::Borrowed(current_bcc_handover) |
| 140 | } else { |
| 141 | // It is possible that the DICE chain we were given is rooted in the UDS. We do not want to |
| 142 | // give such a chain to the payload, or even the associated CDIs. So remove the |
| 143 | // entire chain we were given and taint the CDIs. Note that the resulting CDIs are |
| 144 | // still deterministically derived from those we received, so will vary iff they do. |
| 145 | // TODO(b/280405545): Remove this post Android 14. |
| 146 | let truncated_bcc_handover = bcc::truncate(bcc_handover).map_err(|e| { |
| 147 | error!("{e}"); |
| 148 | RebootReason::InternalError |
| 149 | })?; |
| 150 | Cow::Owned(truncated_bcc_handover) |
| 151 | }; |
Alan Stokes | a38d3b3 | 2023-05-05 12:19:18 +0100 | [diff] [blame] | 152 | |
Alice Wang | 6823ffc | 2024-10-29 15:54:34 +0000 | [diff] [blame] | 153 | trace!("BCC leaf subject public key algorithm: {:?}", bcc.leaf_subject_pubkey().cose_alg); |
| 154 | |
Alice Wang | 87fbc4b | 2024-11-05 13:09:58 +0000 | [diff] [blame] | 155 | let dice_context = DiceContext { |
| 156 | authority_algorithm: bcc.leaf_subject_pubkey().cose_alg.try_into().map_err(|e| { |
| 157 | error!("{e}"); |
| 158 | RebootReason::InternalError |
| 159 | })?, |
| 160 | subject_algorithm: VM_KEY_ALGORITHM, |
| 161 | }; |
Shikha Panwar | ffadd4d | 2024-05-28 13:47:56 +0000 | [diff] [blame] | 162 | dice_inputs |
| 163 | .write_next_bcc( |
| 164 | new_bcc_handover.as_ref(), |
| 165 | &salt, |
| 166 | instance_hash, |
| 167 | defer_rollback_protection, |
| 168 | next_bcc, |
Alice Wang | 87fbc4b | 2024-11-05 13:09:58 +0000 | [diff] [blame] | 169 | dice_context, |
Shikha Panwar | ffadd4d | 2024-05-28 13:47:56 +0000 | [diff] [blame] | 170 | ) |
| 171 | .map_err(|e| { |
Shikha Panwar | 8f7fc1a | 2024-04-10 10:41:34 +0000 | [diff] [blame] | 172 | error!("Failed to derive next-stage DICE secrets: {e:?}"); |
| 173 | RebootReason::SecretDerivationError |
Shikha Panwar | ffadd4d | 2024-05-28 13:47:56 +0000 | [diff] [blame] | 174 | })?; |
Pierre-Clément Tosi | db74cb1 | 2022-12-08 13:56:25 +0000 | [diff] [blame] | 175 | flush(next_bcc); |
| 176 | |
Pierre-Clément Tosi | 8025197 | 2023-07-12 12:51:12 +0000 | [diff] [blame] | 177 | let kaslr_seed = u64::from_ne_bytes(rand::random_array().map_err(|e| { |
| 178 | error!("Failed to generated guest KASLR seed: {e}"); |
| 179 | RebootReason::InternalError |
| 180 | })?); |
Pierre-Clément Tosi | b2d8aa7 | 2023-02-17 15:22:50 +0000 | [diff] [blame] | 181 | let strict_boot = true; |
Pierre-Clément Tosi | 8025197 | 2023-07-12 12:51:12 +0000 | [diff] [blame] | 182 | modify_for_next_stage( |
| 183 | fdt, |
| 184 | next_bcc, |
| 185 | new_instance, |
| 186 | strict_boot, |
| 187 | debug_policy, |
| 188 | debuggable, |
| 189 | kaslr_seed, |
| 190 | ) |
| 191 | .map_err(|e| { |
| 192 | error!("Failed to configure device tree: {e}"); |
| 193 | RebootReason::InternalError |
| 194 | })?; |
Pierre-Clément Tosi | db74cb1 | 2022-12-08 13:56:25 +0000 | [diff] [blame] | 195 | |
Alice Wang | 4379c83 | 2022-12-05 15:50:20 +0000 | [diff] [blame] | 196 | info!("Starting payload..."); |
Pierre-Clément Tosi | bfa4060 | 2024-12-09 20:13:57 +0000 | [diff] [blame] | 197 | Ok((next_bcc, debuggable)) |
Pierre-Clément Tosi | 263ffd5 | 2022-10-05 20:27:50 +0100 | [diff] [blame] | 198 | } |
Andrew Walbran | d1d0318 | 2022-12-09 18:20:01 +0000 | [diff] [blame] | 199 | |
Shikha Panwar | 73ba0d4 | 2024-03-20 14:43:21 +0000 | [diff] [blame] | 200 | // Get the "salt" which is one of the input for DICE derivation. |
| 201 | // This provides differentiation of secrets for different VM instances with same payloads. |
Pierre-Clément Tosi | f89759c | 2024-11-19 15:25:37 +0000 | [diff] [blame] | 202 | fn salt_from_instance_id(fdt: &Fdt) -> Result<Option<Hidden>, RebootReason> { |
Pierre-Clément Tosi | 3729f65 | 2024-11-19 15:25:37 +0000 | [diff] [blame] | 203 | let Some(id) = read_instance_id(fdt).map_err(|e| { |
| 204 | error!("Failed to get instance-id in DT: {e}"); |
| 205 | RebootReason::InvalidFdt |
| 206 | })? |
| 207 | else { |
| 208 | return Ok(None); |
| 209 | }; |
Shikha Panwar | 73ba0d4 | 2024-03-20 14:43:21 +0000 | [diff] [blame] | 210 | let salt = Digester::sha512() |
| 211 | .digest(&[&b"InstanceId:"[..], id].concat()) |
| 212 | .map_err(|e| { |
| 213 | error!("Failed to get digest of instance-id: {e}"); |
| 214 | RebootReason::InternalError |
| 215 | })? |
| 216 | .try_into() |
| 217 | .map_err(|_| RebootReason::InternalError)?; |
Pierre-Clément Tosi | f89759c | 2024-11-19 15:25:37 +0000 | [diff] [blame] | 218 | Ok(Some(salt)) |
Shikha Panwar | 73ba0d4 | 2024-03-20 14:43:21 +0000 | [diff] [blame] | 219 | } |