Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [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 | //! Low-level entry and exit points of pvmfw. |
| 16 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 17 | use crate::config; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 18 | use crate::fdt; |
Alice Wang | 93ee98a | 2023-06-08 08:20:39 +0000 | [diff] [blame] | 19 | use crate::memory; |
Alice Wang | ee07f72 | 2023-10-03 15:20:17 +0000 | [diff] [blame^] | 20 | use bssl_ffi::CRYPTO_library_init; |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 21 | use core::arch::asm; |
Jakob Vukalovic | 4c1edbe | 2023-04-17 19:10:57 +0100 | [diff] [blame] | 22 | use core::mem::{drop, size_of}; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 23 | use core::num::NonZeroUsize; |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 24 | use core::ops::Range; |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 25 | use core::slice; |
Pierre-Clément Tosi | d643cfe | 2023-06-29 09:30:51 +0000 | [diff] [blame] | 26 | use hyp::{get_mem_sharer, get_mmio_guard}; |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 27 | use log::debug; |
| 28 | use log::error; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 29 | use log::info; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 30 | use log::warn; |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 31 | use log::LevelFilter; |
Alice Wang | 4be4dd0 | 2023-06-07 07:50:40 +0000 | [diff] [blame] | 32 | use vmbase::util::RangeExt as _; |
Alice Wang | eacb738 | 2023-06-05 12:53:54 +0000 | [diff] [blame] | 33 | use vmbase::{ |
Pierre-Clément Tosi | 6a4808c | 2023-06-29 09:19:38 +0000 | [diff] [blame] | 34 | configure_heap, console, |
Alice Wang | 4c70d14 | 2023-06-06 11:52:33 +0000 | [diff] [blame] | 35 | layout::{self, crosvm}, |
Pierre-Clément Tosi | d330548 | 2023-06-29 15:03:48 +0000 | [diff] [blame] | 36 | main, |
Pierre-Clément Tosi | f3681e8 | 2023-06-22 11:38:22 +0000 | [diff] [blame] | 37 | memory::{min_dcache_line_size, MemoryTracker, MEMORY, SIZE_128KB, SIZE_4KB}, |
Alice Wang | eacb738 | 2023-06-05 12:53:54 +0000 | [diff] [blame] | 38 | power::reboot, |
| 39 | }; |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 40 | use zeroize::Zeroize; |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 41 | |
| 42 | #[derive(Debug, Clone)] |
Andrew Walbran | 1969063 | 2022-12-07 16:41:30 +0000 | [diff] [blame] | 43 | pub enum RebootReason { |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 44 | /// A malformed BCC was received. |
| 45 | InvalidBcc, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 46 | /// An invalid configuration was appended to pvmfw. |
| 47 | InvalidConfig, |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 48 | /// An unexpected internal error happened. |
| 49 | InternalError, |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 50 | /// The provided FDT was invalid. |
| 51 | InvalidFdt, |
| 52 | /// The provided payload was invalid. |
| 53 | InvalidPayload, |
| 54 | /// The provided ramdisk was invalid. |
| 55 | InvalidRamdisk, |
Alice Wang | 28cbcf1 | 2022-12-01 07:58:28 +0000 | [diff] [blame] | 56 | /// Failed to verify the payload. |
| 57 | PayloadVerificationError, |
Pierre-Clément Tosi | 4f4f5eb | 2022-12-08 14:31:42 +0000 | [diff] [blame] | 58 | /// DICE layering process failed. |
| 59 | SecretDerivationError, |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 60 | } |
| 61 | |
| 62 | main!(start); |
Pierre-Clément Tosi | 6a4808c | 2023-06-29 09:19:38 +0000 | [diff] [blame] | 63 | configure_heap!(SIZE_128KB); |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 64 | |
| 65 | /// Entry point for pVM firmware. |
| 66 | pub fn start(fdt_address: u64, payload_start: u64, payload_size: u64, _arg3: u64) { |
| 67 | // Limitations in this function: |
| 68 | // - can't access non-pvmfw memory (only statically-mapped memory) |
| 69 | // - can't access MMIO (therefore, no logging) |
| 70 | |
| 71 | match main_wrapper(fdt_address as usize, payload_start as usize, payload_size as usize) { |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 72 | Ok((entry, bcc)) => jump_to_payload(fdt_address, entry.try_into().unwrap(), bcc), |
Pierre-Clément Tosi | d836b5b | 2022-12-05 10:49:38 +0000 | [diff] [blame] | 73 | Err(_) => reboot(), // TODO(b/220071963) propagate the reason back to the host. |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 74 | } |
| 75 | |
| 76 | // if we reach this point and return, vmbase::entry::rust_entry() will call power::shutdown(). |
| 77 | } |
| 78 | |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 79 | struct MemorySlices<'a> { |
| 80 | fdt: &'a mut libfdt::Fdt, |
| 81 | kernel: &'a [u8], |
| 82 | ramdisk: Option<&'a [u8]>, |
| 83 | } |
| 84 | |
| 85 | impl<'a> MemorySlices<'a> { |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 86 | fn new( |
| 87 | fdt: usize, |
| 88 | kernel: usize, |
| 89 | kernel_size: usize, |
| 90 | vm_dtbo: Option<&mut [u8]>, |
| 91 | ) -> Result<Self, RebootReason> { |
Pierre-Clément Tosi | d88fd2d | 2023-07-07 15:54:33 +0000 | [diff] [blame] | 92 | let fdt_size = NonZeroUsize::new(crosvm::FDT_MAX_SIZE).unwrap(); |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 93 | // TODO - Only map the FDT as read-only, until we modify it right before jump_to_payload() |
| 94 | // e.g. by generating a DTBO for a template DT in main() and, on return, re-map DT as RW, |
| 95 | // overwrite with the template DT and apply the DTBO. |
Pierre-Clément Tosi | d88fd2d | 2023-07-07 15:54:33 +0000 | [diff] [blame] | 96 | let range = MEMORY.lock().as_mut().unwrap().alloc_mut(fdt, fdt_size).map_err(|e| { |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 97 | error!("Failed to allocate the FDT range: {e}"); |
| 98 | RebootReason::InternalError |
| 99 | })?; |
| 100 | |
Andrew Walbran | 20bb4e4 | 2023-07-07 13:55:55 +0100 | [diff] [blame] | 101 | // SAFETY: The tracker validated the range to be in main memory, mapped, and not overlap. |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 102 | let fdt = unsafe { slice::from_raw_parts_mut(range.start as *mut u8, range.len()) }; |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 103 | |
| 104 | let info = fdt::sanitize_device_tree(fdt, vm_dtbo)?; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 105 | let fdt = libfdt::Fdt::from_mut_slice(fdt).map_err(|e| { |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 106 | error!("Failed to load sanitized FDT: {e}"); |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 107 | RebootReason::InvalidFdt |
| 108 | })?; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 109 | debug!("Fdt passed validation!"); |
| 110 | |
Jiyong Park | 6a8789a | 2023-03-21 14:50:59 +0900 | [diff] [blame] | 111 | let memory_range = info.memory_range; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 112 | debug!("Resizing MemoryTracker to range {memory_range:#x?}"); |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 113 | MEMORY.lock().as_mut().unwrap().shrink(&memory_range).map_err(|e| { |
| 114 | error!("Failed to use memory range value from DT: {memory_range:#x?}: {e}"); |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 115 | RebootReason::InvalidFdt |
| 116 | })?; |
| 117 | |
Pierre-Clément Tosi | d643cfe | 2023-06-29 09:30:51 +0000 | [diff] [blame] | 118 | if let Some(mem_sharer) = get_mem_sharer() { |
| 119 | let granule = mem_sharer.granule().map_err(|e| { |
Alice Wang | b6d2c64 | 2023-06-13 13:07:06 +0000 | [diff] [blame] | 120 | error!("Failed to get memory protection granule: {e}"); |
| 121 | RebootReason::InternalError |
| 122 | })?; |
| 123 | MEMORY.lock().as_mut().unwrap().init_dynamic_shared_pool(granule).map_err(|e| { |
Pierre-Clément Tosi | f19c0e6 | 2023-05-02 13:56:58 +0000 | [diff] [blame] | 124 | error!("Failed to initialize dynamically shared pool: {e}"); |
| 125 | RebootReason::InternalError |
| 126 | })?; |
| 127 | } else { |
Srivatsa Vaddagiri | 37713ec | 2023-04-20 04:04:08 -0700 | [diff] [blame] | 128 | let range = info.swiotlb_info.fixed_range().ok_or_else(|| { |
| 129 | error!("Pre-shared pool range not specified in swiotlb node"); |
| 130 | RebootReason::InvalidFdt |
| 131 | })?; |
| 132 | |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 133 | MEMORY.lock().as_mut().unwrap().init_static_shared_pool(range).map_err(|e| { |
Srivatsa Vaddagiri | 37713ec | 2023-04-20 04:04:08 -0700 | [diff] [blame] | 134 | error!("Failed to initialize pre-shared pool {e}"); |
| 135 | RebootReason::InvalidFdt |
| 136 | })?; |
| 137 | } |
| 138 | |
Jiyong Park | 6a8789a | 2023-03-21 14:50:59 +0900 | [diff] [blame] | 139 | let kernel_range = if let Some(r) = info.kernel_range { |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 140 | MEMORY.lock().as_mut().unwrap().alloc_range(&r).map_err(|e| { |
Pierre-Clément Tosi | c3811b8 | 2022-11-29 11:24:16 +0000 | [diff] [blame] | 141 | error!("Failed to obtain the kernel range with DT range: {e}"); |
| 142 | RebootReason::InternalError |
| 143 | })? |
| 144 | } else if cfg!(feature = "legacy") { |
| 145 | warn!("Failed to find the kernel range in the DT; falling back to legacy ABI"); |
| 146 | |
| 147 | let kernel_size = NonZeroUsize::new(kernel_size).ok_or_else(|| { |
| 148 | error!("Invalid kernel size: {kernel_size:#x}"); |
| 149 | RebootReason::InvalidPayload |
| 150 | })?; |
| 151 | |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 152 | MEMORY.lock().as_mut().unwrap().alloc(kernel, kernel_size).map_err(|e| { |
Pierre-Clément Tosi | c3811b8 | 2022-11-29 11:24:16 +0000 | [diff] [blame] | 153 | error!("Failed to obtain the kernel range with legacy range: {e}"); |
| 154 | RebootReason::InternalError |
| 155 | })? |
| 156 | } else { |
| 157 | error!("Failed to locate the kernel from the DT"); |
| 158 | return Err(RebootReason::InvalidPayload); |
| 159 | }; |
| 160 | |
Andrew Walbran | 20bb4e4 | 2023-07-07 13:55:55 +0100 | [diff] [blame] | 161 | let kernel = kernel_range.start as *const u8; |
| 162 | // SAFETY: The tracker validated the range to be in main memory, mapped, and not overlap. |
| 163 | let kernel = unsafe { slice::from_raw_parts(kernel, kernel_range.len()) }; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 164 | |
Jiyong Park | 6a8789a | 2023-03-21 14:50:59 +0900 | [diff] [blame] | 165 | let ramdisk = if let Some(r) = info.initrd_range { |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 166 | debug!("Located ramdisk at {r:?}"); |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 167 | let r = MEMORY.lock().as_mut().unwrap().alloc_range(&r).map_err(|e| { |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 168 | error!("Failed to obtain the initrd range: {e}"); |
| 169 | RebootReason::InvalidRamdisk |
| 170 | })?; |
| 171 | |
Andrew Walbran | 20bb4e4 | 2023-07-07 13:55:55 +0100 | [diff] [blame] | 172 | // SAFETY: The region was validated by memory to be in main memory, mapped, and |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 173 | // not overlap. |
| 174 | Some(unsafe { slice::from_raw_parts(r.start as *const u8, r.len()) }) |
| 175 | } else { |
| 176 | info!("Couldn't locate the ramdisk from the device tree"); |
| 177 | None |
| 178 | }; |
| 179 | |
| 180 | Ok(Self { fdt, kernel, ramdisk }) |
| 181 | } |
| 182 | } |
| 183 | |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 184 | /// Sets up the environment for main() and wraps its result for start(). |
| 185 | /// |
| 186 | /// Provide the abstractions necessary for start() to abort the pVM boot and for main() to run with |
| 187 | /// the assumption that its environment has been properly configured. |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 188 | fn main_wrapper( |
| 189 | fdt: usize, |
| 190 | payload: usize, |
| 191 | payload_size: usize, |
| 192 | ) -> Result<(usize, Range<usize>), RebootReason> { |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 193 | // Limitations in this function: |
| 194 | // - only access MMIO once (and while) it has been mapped and configured |
| 195 | // - only perform logging once the logger has been initialized |
| 196 | // - only access non-pvmfw memory once (and while) it has been mapped |
Pierre-Clément Tosi | fc53115 | 2022-10-20 12:22:23 +0100 | [diff] [blame] | 197 | |
Pierre-Clément Tosi | d330548 | 2023-06-29 15:03:48 +0000 | [diff] [blame] | 198 | log::set_max_level(LevelFilter::Info); |
Alice Wang | ee07f72 | 2023-10-03 15:20:17 +0000 | [diff] [blame^] | 199 | // TODO(https://crbug.com/boringssl/35): Remove this init when BoringSSL can handle this |
| 200 | // internally. |
| 201 | // SAFETY: Configures the internal state of the library - may be called multiple times. |
| 202 | unsafe { |
| 203 | CRYPTO_library_init(); |
| 204 | } |
Pierre-Clément Tosi | 41748ed | 2023-03-31 18:20:40 +0100 | [diff] [blame] | 205 | |
Alice Wang | 807fa59 | 2023-06-02 09:54:43 +0000 | [diff] [blame] | 206 | let page_table = memory::init_page_table().map_err(|e| { |
Pierre-Clément Tosi | a8a4a20 | 2022-11-03 14:16:46 +0000 | [diff] [blame] | 207 | error!("Failed to set up the dynamic page tables: {e}"); |
| 208 | RebootReason::InternalError |
| 209 | })?; |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 210 | |
Andrew Walbran | 20bb4e4 | 2023-07-07 13:55:55 +0100 | [diff] [blame] | 211 | // SAFETY: We only get the appended payload from here, once. The region was statically mapped, |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 212 | // then remapped by `init_page_table()`. |
| 213 | let appended_data = unsafe { get_appended_data_slice() }; |
| 214 | |
| 215 | let mut appended = AppendedPayload::new(appended_data).ok_or_else(|| { |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 216 | error!("No valid configuration found"); |
| 217 | RebootReason::InvalidConfig |
Pierre-Clément Tosi | a8a4a20 | 2022-11-03 14:16:46 +0000 | [diff] [blame] | 218 | })?; |
| 219 | |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 220 | let (bcc_slice, debug_policy, vm_dtbo) = appended.get_entries(); |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 221 | |
Jakob Vukalovic | 4c1edbe | 2023-04-17 19:10:57 +0100 | [diff] [blame] | 222 | // Up to this point, we were using the built-in static (from .rodata) page tables. |
Alice Wang | 4c70d14 | 2023-06-06 11:52:33 +0000 | [diff] [blame] | 223 | MEMORY.lock().replace(MemoryTracker::new( |
| 224 | page_table, |
Alice Wang | 63f4c9e | 2023-06-12 09:36:43 +0000 | [diff] [blame] | 225 | crosvm::MEM_START..layout::MAX_VIRT_ADDR, |
Alice Wang | 89d2959 | 2023-06-12 09:41:29 +0000 | [diff] [blame] | 226 | crosvm::MMIO_RANGE, |
Alice Wang | 5bb7950 | 2023-06-12 09:25:07 +0000 | [diff] [blame] | 227 | Some(memory::appended_payload_range()), |
Alice Wang | 4c70d14 | 2023-06-06 11:52:33 +0000 | [diff] [blame] | 228 | )); |
Jakob Vukalovic | 4c1edbe | 2023-04-17 19:10:57 +0100 | [diff] [blame] | 229 | |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 230 | let slices = MemorySlices::new(fdt, payload, payload_size, vm_dtbo)?; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 231 | |
Pierre-Clément Tosi | 072969b | 2022-10-19 17:32:24 +0100 | [diff] [blame] | 232 | // This wrapper allows main() to be blissfully ignorant of platform details. |
Jakob Vukalovic | b99905d | 2023-04-20 15:46:02 +0100 | [diff] [blame] | 233 | let next_bcc = crate::main(slices.fdt, slices.kernel, slices.ramdisk, bcc_slice, debug_policy)?; |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 234 | |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 235 | // Writable-dirty regions will be flushed when MemoryTracker is dropped. |
| 236 | bcc_slice.zeroize(); |
Pierre-Clément Tosi | 072969b | 2022-10-19 17:32:24 +0100 | [diff] [blame] | 237 | |
Andrew Walbran | 1969063 | 2022-12-07 16:41:30 +0000 | [diff] [blame] | 238 | info!("Expecting a bug making MMIO_GUARD_UNMAP return NOT_SUPPORTED on success"); |
Jakob Vukalovic | 85a00d7 | 2023-04-20 09:51:10 +0100 | [diff] [blame] | 239 | MEMORY.lock().as_mut().unwrap().mmio_unmap_all().map_err(|e| { |
Andrew Walbran | 1969063 | 2022-12-07 16:41:30 +0000 | [diff] [blame] | 240 | error!("Failed to unshare MMIO ranges: {e}"); |
| 241 | RebootReason::InternalError |
| 242 | })?; |
Pierre-Clément Tosi | f19c0e6 | 2023-05-02 13:56:58 +0000 | [diff] [blame] | 243 | // Call unshare_all_memory here (instead of relying on the dtor) while UART is still mapped. |
| 244 | MEMORY.lock().as_mut().unwrap().unshare_all_memory(); |
Pierre-Clément Tosi | d643cfe | 2023-06-29 09:30:51 +0000 | [diff] [blame] | 245 | if let Some(mmio_guard) = get_mmio_guard() { |
| 246 | mmio_guard.unmap(console::BASE_ADDRESS).map_err(|e| { |
Pierre-Clément Tosi | 5ad1e8c | 2023-06-29 10:36:48 +0000 | [diff] [blame] | 247 | error!("Failed to unshare the UART: {e}"); |
| 248 | RebootReason::InternalError |
| 249 | })?; |
| 250 | } |
Jakob Vukalovic | 4c1edbe | 2023-04-17 19:10:57 +0100 | [diff] [blame] | 251 | |
| 252 | // Drop MemoryTracker and deactivate page table. |
| 253 | drop(MEMORY.lock().take()); |
Pierre-Clément Tosi | a99bfa6 | 2022-10-06 13:30:52 +0100 | [diff] [blame] | 254 | |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 255 | Ok((slices.kernel.as_ptr() as usize, next_bcc)) |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 256 | } |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 257 | |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 258 | fn jump_to_payload(fdt_address: u64, payload_start: u64, bcc: Range<usize>) -> ! { |
| 259 | const ASM_STP_ALIGN: usize = size_of::<u64>() * 2; |
Pierre-Clément Tosi | 6c0d48b | 2022-11-07 11:00:32 +0000 | [diff] [blame] | 260 | const SCTLR_EL1_RES1: u64 = (0b11 << 28) | (0b101 << 20) | (0b1 << 11); |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 261 | // Stage 1 instruction access cacheability is unaffected. |
Pierre-Clément Tosi | 6c0d48b | 2022-11-07 11:00:32 +0000 | [diff] [blame] | 262 | const SCTLR_EL1_I: u64 = 0b1 << 12; |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 263 | // SETEND instruction disabled at EL0 in aarch32 mode. |
Pierre-Clément Tosi | 6c0d48b | 2022-11-07 11:00:32 +0000 | [diff] [blame] | 264 | const SCTLR_EL1_SED: u64 = 0b1 << 8; |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 265 | // Various IT instructions are disabled at EL0 in aarch32 mode. |
Pierre-Clément Tosi | 6c0d48b | 2022-11-07 11:00:32 +0000 | [diff] [blame] | 266 | const SCTLR_EL1_ITD: u64 = 0b1 << 7; |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 267 | |
Pierre-Clément Tosi | 6c0d48b | 2022-11-07 11:00:32 +0000 | [diff] [blame] | 268 | const SCTLR_EL1_VAL: u64 = SCTLR_EL1_RES1 | SCTLR_EL1_ITD | SCTLR_EL1_SED | SCTLR_EL1_I; |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 269 | |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 270 | let scratch = layout::scratch_range(); |
| 271 | |
Alice Wang | a3931aa | 2023-07-05 12:52:09 +0000 | [diff] [blame] | 272 | assert_ne!(scratch.end - scratch.start, 0, "scratch memory is empty."); |
| 273 | assert_eq!(scratch.start.0 % ASM_STP_ALIGN, 0, "scratch memory is misaligned."); |
| 274 | assert_eq!(scratch.end.0 % ASM_STP_ALIGN, 0, "scratch memory is misaligned."); |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 275 | |
Alice Wang | a3931aa | 2023-07-05 12:52:09 +0000 | [diff] [blame] | 276 | assert!(bcc.is_within(&(scratch.start.0..scratch.end.0))); |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 277 | assert_eq!(bcc.start % ASM_STP_ALIGN, 0, "Misaligned guest BCC."); |
| 278 | assert_eq!(bcc.end % ASM_STP_ALIGN, 0, "Misaligned guest BCC."); |
| 279 | |
Pierre-Clément Tosi | ad1fc75 | 2023-05-31 16:56:56 +0000 | [diff] [blame] | 280 | let stack = memory::stack_range(); |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 281 | |
Alice Wang | a3931aa | 2023-07-05 12:52:09 +0000 | [diff] [blame] | 282 | assert_ne!(stack.end - stack.start, 0, "stack region is empty."); |
| 283 | assert_eq!(stack.start.0 % ASM_STP_ALIGN, 0, "Misaligned stack region."); |
| 284 | assert_eq!(stack.end.0 % ASM_STP_ALIGN, 0, "Misaligned stack region."); |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 285 | |
| 286 | // Zero all memory that could hold secrets and that can't be safely written to from Rust. |
Pierre-Clément Tosi | 6c0d48b | 2022-11-07 11:00:32 +0000 | [diff] [blame] | 287 | // Disable the exception vector, caches and page table and then jump to the payload at the |
| 288 | // given address, passing it the given FDT pointer. |
| 289 | // |
Andrew Walbran | 20bb4e4 | 2023-07-07 13:55:55 +0100 | [diff] [blame] | 290 | // SAFETY: We're exiting pvmfw by passing the register values we need to a noreturn asm!(). |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 291 | unsafe { |
| 292 | asm!( |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 293 | "cmp {scratch}, {bcc}", |
| 294 | "b.hs 1f", |
| 295 | |
| 296 | // Zero .data & .bss until BCC. |
| 297 | "0: stp xzr, xzr, [{scratch}], 16", |
| 298 | "cmp {scratch}, {bcc}", |
| 299 | "b.lo 0b", |
| 300 | |
| 301 | "1:", |
| 302 | // Skip BCC. |
| 303 | "mov {scratch}, {bcc_end}", |
| 304 | "cmp {scratch}, {scratch_end}", |
| 305 | "b.hs 1f", |
| 306 | |
| 307 | // Keep zeroing .data & .bss. |
| 308 | "0: stp xzr, xzr, [{scratch}], 16", |
| 309 | "cmp {scratch}, {scratch_end}", |
| 310 | "b.lo 0b", |
| 311 | |
| 312 | "1:", |
| 313 | // Flush d-cache over .data & .bss (including BCC). |
| 314 | "0: dc cvau, {cache_line}", |
| 315 | "add {cache_line}, {cache_line}, {dcache_line_size}", |
| 316 | "cmp {cache_line}, {scratch_end}", |
| 317 | "b.lo 0b", |
| 318 | |
| 319 | "mov {cache_line}, {stack}", |
| 320 | // Zero stack region. |
| 321 | "0: stp xzr, xzr, [{stack}], 16", |
| 322 | "cmp {stack}, {stack_end}", |
| 323 | "b.lo 0b", |
| 324 | |
| 325 | // Flush d-cache over stack region. |
| 326 | "0: dc cvau, {cache_line}", |
| 327 | "add {cache_line}, {cache_line}, {dcache_line_size}", |
| 328 | "cmp {cache_line}, {stack_end}", |
| 329 | "b.lo 0b", |
| 330 | |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 331 | "msr sctlr_el1, {sctlr_el1_val}", |
| 332 | "isb", |
| 333 | "mov x1, xzr", |
| 334 | "mov x2, xzr", |
| 335 | "mov x3, xzr", |
| 336 | "mov x4, xzr", |
| 337 | "mov x5, xzr", |
| 338 | "mov x6, xzr", |
| 339 | "mov x7, xzr", |
| 340 | "mov x8, xzr", |
| 341 | "mov x9, xzr", |
| 342 | "mov x10, xzr", |
| 343 | "mov x11, xzr", |
| 344 | "mov x12, xzr", |
| 345 | "mov x13, xzr", |
| 346 | "mov x14, xzr", |
| 347 | "mov x15, xzr", |
| 348 | "mov x16, xzr", |
| 349 | "mov x17, xzr", |
| 350 | "mov x18, xzr", |
| 351 | "mov x19, xzr", |
| 352 | "mov x20, xzr", |
| 353 | "mov x21, xzr", |
| 354 | "mov x22, xzr", |
| 355 | "mov x23, xzr", |
| 356 | "mov x24, xzr", |
| 357 | "mov x25, xzr", |
| 358 | "mov x26, xzr", |
| 359 | "mov x27, xzr", |
| 360 | "mov x28, xzr", |
| 361 | "mov x29, xzr", |
| 362 | "msr ttbr0_el1, xzr", |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 363 | // Ensure that CMOs have completed before entering payload. |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 364 | "dsb nsh", |
| 365 | "br x30", |
| 366 | sctlr_el1_val = in(reg) SCTLR_EL1_VAL, |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 367 | bcc = in(reg) u64::try_from(bcc.start).unwrap(), |
| 368 | bcc_end = in(reg) u64::try_from(bcc.end).unwrap(), |
Alice Wang | a3931aa | 2023-07-05 12:52:09 +0000 | [diff] [blame] | 369 | cache_line = in(reg) u64::try_from(scratch.start.0).unwrap(), |
| 370 | scratch = in(reg) u64::try_from(scratch.start.0).unwrap(), |
| 371 | scratch_end = in(reg) u64::try_from(scratch.end.0).unwrap(), |
| 372 | stack = in(reg) u64::try_from(stack.start.0).unwrap(), |
| 373 | stack_end = in(reg) u64::try_from(stack.end.0).unwrap(), |
Alice Wang | 3fa9b80 | 2023-06-06 07:52:31 +0000 | [diff] [blame] | 374 | dcache_line_size = in(reg) u64::try_from(min_dcache_line_size()).unwrap(), |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 375 | in("x0") fdt_address, |
| 376 | in("x30") payload_start, |
Pierre-Clément Tosi | 97f5249 | 2023-04-04 15:52:17 +0100 | [diff] [blame] | 377 | options(noreturn), |
Pierre-Clément Tosi | 645e90e | 2022-10-21 13:27:19 +0100 | [diff] [blame] | 378 | ); |
| 379 | }; |
| 380 | } |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 381 | |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 382 | /// # Safety |
| 383 | /// |
| 384 | /// This must only be called once, since we are returning a mutable reference. |
| 385 | /// The appended data region must be mapped. |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 386 | unsafe fn get_appended_data_slice() -> &'static mut [u8] { |
Pierre-Clément Tosi | ad1fc75 | 2023-05-31 16:56:56 +0000 | [diff] [blame] | 387 | let range = memory::appended_payload_range(); |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 388 | // SAFETY: This region is mapped and the linker script prevents it from overlapping with other |
| 389 | // objects. |
Alice Wang | a3931aa | 2023-07-05 12:52:09 +0000 | [diff] [blame] | 390 | unsafe { slice::from_raw_parts_mut(range.start.0 as *mut u8, range.end - range.start) } |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 391 | } |
| 392 | |
Pierre-Clément Tosi | 7aca7ff | 2022-12-12 14:04:30 +0000 | [diff] [blame] | 393 | enum AppendedConfigType { |
| 394 | Valid, |
| 395 | Invalid, |
| 396 | NotFound, |
| 397 | } |
| 398 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 399 | enum AppendedPayload<'a> { |
| 400 | /// Configuration data. |
| 401 | Config(config::Config<'a>), |
| 402 | /// Deprecated raw BCC, as used in Android T. |
| 403 | LegacyBcc(&'a mut [u8]), |
| 404 | } |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 405 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 406 | impl<'a> AppendedPayload<'a> { |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 407 | fn new(data: &'a mut [u8]) -> Option<Self> { |
| 408 | match Self::guess_config_type(data) { |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 409 | AppendedConfigType::Valid => { |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 410 | let config = config::Config::new(data); |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 411 | Some(Self::Config(config.unwrap())) |
| 412 | } |
Pierre-Clément Tosi | 7aca7ff | 2022-12-12 14:04:30 +0000 | [diff] [blame] | 413 | AppendedConfigType::NotFound if cfg!(feature = "legacy") => { |
Alice Wang | eacb738 | 2023-06-05 12:53:54 +0000 | [diff] [blame] | 414 | const BCC_SIZE: usize = SIZE_4KB; |
Pierre-Clément Tosi | 7aca7ff | 2022-12-12 14:04:30 +0000 | [diff] [blame] | 415 | warn!("Assuming the appended data at {:?} to be a raw BCC", data.as_ptr()); |
| 416 | Some(Self::LegacyBcc(&mut data[..BCC_SIZE])) |
| 417 | } |
| 418 | _ => None, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 419 | } |
| 420 | } |
| 421 | |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 422 | fn guess_config_type(data: &mut [u8]) -> AppendedConfigType { |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 423 | // This function is necessary to prevent the borrow checker from getting confused |
| 424 | // about the ownership of data in new(); see https://users.rust-lang.org/t/78467. |
| 425 | let addr = data.as_ptr(); |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 426 | |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 427 | match config::Config::new(data) { |
Pierre-Clément Tosi | 7aca7ff | 2022-12-12 14:04:30 +0000 | [diff] [blame] | 428 | Err(config::Error::InvalidMagic) => { |
| 429 | warn!("No configuration data found at {addr:?}"); |
| 430 | AppendedConfigType::NotFound |
| 431 | } |
| 432 | Err(e) => { |
| 433 | error!("Invalid configuration data at {addr:?}: {e}"); |
| 434 | AppendedConfigType::Invalid |
| 435 | } |
| 436 | Ok(_) => AppendedConfigType::Valid, |
| 437 | } |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 438 | } |
| 439 | |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 440 | fn get_entries(&mut self) -> (&mut [u8], Option<&mut [u8]>, Option<&mut [u8]>) { |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 441 | match self { |
Pierre-Clément Tosi | efe780c | 2023-02-21 21:36:30 +0000 | [diff] [blame] | 442 | Self::Config(ref mut cfg) => cfg.get_entries(), |
Jaewan Kim | c6e023b | 2023-10-12 15:11:05 +0900 | [diff] [blame] | 443 | Self::LegacyBcc(ref mut bcc) => (bcc, None, None), |
Pierre-Clément Tosi | 8edf72e | 2022-12-06 16:02:57 +0000 | [diff] [blame] | 444 | } |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 445 | } |
| 446 | } |