Andrew Walbran | eef9820 | 2022-04-27 16:23:06 +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 | //! VM bootloader example. |
| 16 | |
| 17 | #![no_main] |
| 18 | #![no_std] |
| 19 | |
| 20 | mod exceptions; |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 21 | mod layout; |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 22 | mod pci; |
Andrew Walbran | eef9820 | 2022-04-27 16:23:06 +0000 | [diff] [blame] | 23 | |
Andrew Walbran | f7b6dc8 | 2022-04-20 16:24:30 +0000 | [diff] [blame] | 24 | extern crate alloc; |
| 25 | |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 26 | use crate::layout::{ |
Pierre-Clément Tosi | 8bb3d72 | 2023-04-21 16:10:56 +0100 | [diff] [blame] | 27 | bionic_tls, boot_stack_range, dtb_range, print_addresses, rodata_range, scratch_range, |
Andrew Walbran | b88eb01 | 2023-07-05 13:58:26 +0000 | [diff] [blame] | 28 | text_range, DEVICE_REGION, |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 29 | }; |
Andrew Walbran | 730375d | 2022-12-21 14:04:34 +0000 | [diff] [blame] | 30 | use crate::pci::{check_pci, get_bar_region}; |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 31 | use aarch64_paging::{idmap::IdMap, paging::Attributes}; |
Andrew Walbran | f7b6dc8 | 2022-04-20 16:24:30 +0000 | [diff] [blame] | 32 | use alloc::{vec, vec::Vec}; |
Andrew Walbran | 730375d | 2022-12-21 14:04:34 +0000 | [diff] [blame] | 33 | use fdtpci::PciInfo; |
David Brazdil | 1baa9a9 | 2022-06-28 14:47:50 +0100 | [diff] [blame] | 34 | use libfdt::Fdt; |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 35 | use log::{debug, error, info, trace, warn, LevelFilter}; |
Andrew Walbran | b88eb01 | 2023-07-05 13:58:26 +0000 | [diff] [blame] | 36 | use vmbase::{configure_heap, cstr, layout::stack_chk_guard, logger, main, memory::SIZE_64KB}; |
Andrew Walbran | eef9820 | 2022-04-27 16:23:06 +0000 | [diff] [blame] | 37 | |
Andrew Walbran | 5d4e1c9 | 2022-04-12 14:30:54 +0000 | [diff] [blame] | 38 | static INITIALISED_DATA: [u32; 4] = [1, 2, 3, 4]; |
| 39 | static mut ZEROED_DATA: [u32; 10] = [0; 10]; |
| 40 | static mut MUTABLE_DATA: [u32; 4] = [1, 2, 3, 4]; |
| 41 | |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 42 | const ASID: usize = 1; |
| 43 | const ROOT_LEVEL: usize = 1; |
| 44 | |
Andrew Walbran | eef9820 | 2022-04-27 16:23:06 +0000 | [diff] [blame] | 45 | main!(main); |
Pierre-Clément Tosi | 6a4808c | 2023-06-29 09:19:38 +0000 | [diff] [blame] | 46 | configure_heap!(SIZE_64KB); |
Andrew Walbran | eef9820 | 2022-04-27 16:23:06 +0000 | [diff] [blame] | 47 | |
| 48 | /// Entry point for VM bootloader. |
Andrew Walbran | e03395a | 2022-04-29 15:15:49 +0000 | [diff] [blame] | 49 | pub fn main(arg0: u64, arg1: u64, arg2: u64, arg3: u64) { |
David Brazdil | b41aa8f | 2022-07-05 12:41:00 +0100 | [diff] [blame] | 50 | logger::init(LevelFilter::Debug).unwrap(); |
| 51 | |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 52 | info!("Hello world"); |
David Brazdil | b41aa8f | 2022-07-05 12:41:00 +0100 | [diff] [blame] | 53 | info!("x0={:#018x}, x1={:#018x}, x2={:#018x}, x3={:#018x}", arg0, arg1, arg2, arg3); |
Andrew Walbran | 6261cf4 | 2022-04-12 13:26:52 +0000 | [diff] [blame] | 54 | print_addresses(); |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 55 | assert_eq!(arg0, dtb_range().start.0 as u64); |
Andrew Walbran | 5d4e1c9 | 2022-04-12 14:30:54 +0000 | [diff] [blame] | 56 | check_data(); |
David Brazdil | a51c6f0 | 2022-10-12 09:51:48 +0000 | [diff] [blame] | 57 | check_stack_guard(); |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 58 | |
| 59 | info!("Checking FDT..."); |
| 60 | let fdt = dtb_range(); |
| 61 | let fdt = |
| 62 | unsafe { core::slice::from_raw_parts_mut(fdt.start.0 as *mut u8, fdt.end.0 - fdt.start.0) }; |
| 63 | let fdt = Fdt::from_mut_slice(fdt).unwrap(); |
| 64 | info!("FDT passed verification."); |
| 65 | check_fdt(fdt); |
| 66 | |
Andrew Walbran | 730375d | 2022-12-21 14:04:34 +0000 | [diff] [blame] | 67 | let pci_info = PciInfo::from_fdt(fdt).unwrap(); |
| 68 | debug!("Found PCI CAM at {:#x}-{:#x}", pci_info.cam_range.start, pci_info.cam_range.end); |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 69 | |
| 70 | modify_fdt(fdt); |
Andrew Walbran | f7b6dc8 | 2022-04-20 16:24:30 +0000 | [diff] [blame] | 71 | |
Andrew Walbran | f7b6dc8 | 2022-04-20 16:24:30 +0000 | [diff] [blame] | 72 | check_alloc(); |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 73 | |
| 74 | let mut idmap = IdMap::new(ASID, ROOT_LEVEL); |
Jakob Vukalovic | 50559df | 2023-04-19 19:24:13 +0100 | [diff] [blame] | 75 | idmap |
| 76 | .map_range( |
| 77 | &DEVICE_REGION, |
| 78 | Attributes::VALID | Attributes::DEVICE_NGNRE | Attributes::EXECUTE_NEVER, |
| 79 | ) |
| 80 | .unwrap(); |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 81 | idmap |
| 82 | .map_range( |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 83 | &text_range().into(), |
Jakob Vukalovic | 50559df | 2023-04-19 19:24:13 +0100 | [diff] [blame] | 84 | Attributes::VALID | Attributes::NORMAL | Attributes::NON_GLOBAL | Attributes::READ_ONLY, |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 85 | ) |
| 86 | .unwrap(); |
| 87 | idmap |
| 88 | .map_range( |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 89 | &rodata_range().into(), |
Jakob Vukalovic | 50559df | 2023-04-19 19:24:13 +0100 | [diff] [blame] | 90 | Attributes::VALID |
| 91 | | Attributes::NORMAL |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 92 | | Attributes::NON_GLOBAL |
| 93 | | Attributes::READ_ONLY |
| 94 | | Attributes::EXECUTE_NEVER, |
| 95 | ) |
| 96 | .unwrap(); |
| 97 | idmap |
| 98 | .map_range( |
Pierre-Clément Tosi | 8bb3d72 | 2023-04-21 16:10:56 +0100 | [diff] [blame] | 99 | &scratch_range().into(), |
Jakob Vukalovic | 50559df | 2023-04-19 19:24:13 +0100 | [diff] [blame] | 100 | Attributes::VALID |
| 101 | | Attributes::NORMAL |
| 102 | | Attributes::NON_GLOBAL |
| 103 | | Attributes::EXECUTE_NEVER, |
Pierre-Clément Tosi | 8bb3d72 | 2023-04-21 16:10:56 +0100 | [diff] [blame] | 104 | ) |
| 105 | .unwrap(); |
| 106 | idmap |
| 107 | .map_range( |
| 108 | &boot_stack_range().into(), |
Jakob Vukalovic | 50559df | 2023-04-19 19:24:13 +0100 | [diff] [blame] | 109 | Attributes::VALID |
| 110 | | Attributes::NORMAL |
| 111 | | Attributes::NON_GLOBAL |
| 112 | | Attributes::EXECUTE_NEVER, |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 113 | ) |
| 114 | .unwrap(); |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 115 | idmap |
| 116 | .map_range( |
| 117 | &dtb_range().into(), |
Jakob Vukalovic | 50559df | 2023-04-19 19:24:13 +0100 | [diff] [blame] | 118 | Attributes::VALID |
| 119 | | Attributes::NORMAL |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 120 | | Attributes::NON_GLOBAL |
| 121 | | Attributes::READ_ONLY |
| 122 | | Attributes::EXECUTE_NEVER, |
| 123 | ) |
| 124 | .unwrap(); |
| 125 | idmap |
Jakob Vukalovic | 50559df | 2023-04-19 19:24:13 +0100 | [diff] [blame] | 126 | .map_range( |
| 127 | &get_bar_region(&pci_info), |
| 128 | Attributes::VALID | Attributes::DEVICE_NGNRE | Attributes::EXECUTE_NEVER, |
| 129 | ) |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 130 | .unwrap(); |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 131 | |
David Brazdil | b41aa8f | 2022-07-05 12:41:00 +0100 | [diff] [blame] | 132 | info!("Activating IdMap..."); |
Andrew Walbran | 4a59a17 | 2022-11-22 17:35:27 +0000 | [diff] [blame] | 133 | trace!("{:?}", idmap); |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 134 | idmap.activate(); |
David Brazdil | b41aa8f | 2022-07-05 12:41:00 +0100 | [diff] [blame] | 135 | info!("Activated."); |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 136 | |
| 137 | check_data(); |
David Brazdil | 9a83e61 | 2022-09-27 17:38:10 +0000 | [diff] [blame] | 138 | check_dice(); |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 139 | |
Andrew Walbran | 730375d | 2022-12-21 14:04:34 +0000 | [diff] [blame] | 140 | let mut pci_root = unsafe { pci_info.make_pci_root() }; |
| 141 | check_pci(&mut pci_root); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 142 | |
| 143 | emit_suppressed_log(); |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 144 | } |
| 145 | |
David Brazdil | a51c6f0 | 2022-10-12 09:51:48 +0000 | [diff] [blame] | 146 | fn check_stack_guard() { |
| 147 | const BIONIC_TLS_STACK_GRD_OFF: usize = 40; |
| 148 | |
| 149 | info!("Testing stack guard"); |
| 150 | assert_eq!(bionic_tls(BIONIC_TLS_STACK_GRD_OFF), stack_chk_guard()); |
| 151 | } |
| 152 | |
Andrew Walbran | 5d4e1c9 | 2022-04-12 14:30:54 +0000 | [diff] [blame] | 153 | fn check_data() { |
Pierre-Clément Tosi | 581e9b6 | 2022-10-27 16:21:13 +0100 | [diff] [blame] | 154 | info!("INITIALISED_DATA: {:?}", INITIALISED_DATA.as_ptr()); |
Andrew Walbran | 5d4e1c9 | 2022-04-12 14:30:54 +0000 | [diff] [blame] | 155 | unsafe { |
Pierre-Clément Tosi | 581e9b6 | 2022-10-27 16:21:13 +0100 | [diff] [blame] | 156 | info!("ZEROED_DATA: {:?}", ZEROED_DATA.as_ptr()); |
| 157 | info!("MUTABLE_DATA: {:?}", MUTABLE_DATA.as_ptr()); |
Andrew Walbran | 5d4e1c9 | 2022-04-12 14:30:54 +0000 | [diff] [blame] | 158 | } |
| 159 | |
| 160 | assert_eq!(INITIALISED_DATA[0], 1); |
| 161 | assert_eq!(INITIALISED_DATA[1], 2); |
| 162 | assert_eq!(INITIALISED_DATA[2], 3); |
| 163 | assert_eq!(INITIALISED_DATA[3], 4); |
| 164 | |
| 165 | unsafe { |
| 166 | for element in ZEROED_DATA.iter() { |
| 167 | assert_eq!(*element, 0); |
| 168 | } |
| 169 | ZEROED_DATA[0] = 13; |
| 170 | assert_eq!(ZEROED_DATA[0], 13); |
| 171 | ZEROED_DATA[0] = 0; |
| 172 | assert_eq!(ZEROED_DATA[0], 0); |
| 173 | |
| 174 | assert_eq!(MUTABLE_DATA[0], 1); |
| 175 | assert_eq!(MUTABLE_DATA[1], 2); |
| 176 | assert_eq!(MUTABLE_DATA[2], 3); |
| 177 | assert_eq!(MUTABLE_DATA[3], 4); |
| 178 | MUTABLE_DATA[0] += 41; |
| 179 | assert_eq!(MUTABLE_DATA[0], 42); |
Andrew Walbran | 1356454 | 2022-04-20 16:29:45 +0000 | [diff] [blame] | 180 | MUTABLE_DATA[0] -= 41; |
| 181 | assert_eq!(MUTABLE_DATA[0], 1); |
Andrew Walbran | 5d4e1c9 | 2022-04-12 14:30:54 +0000 | [diff] [blame] | 182 | } |
David Brazdil | b41aa8f | 2022-07-05 12:41:00 +0100 | [diff] [blame] | 183 | info!("Data looks good"); |
Andrew Walbran | 5d4e1c9 | 2022-04-12 14:30:54 +0000 | [diff] [blame] | 184 | } |
| 185 | |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 186 | fn check_fdt(reader: &Fdt) { |
Alice Wang | 2422bdc | 2023-06-12 08:37:55 +0000 | [diff] [blame] | 187 | for reg in reader.memory().unwrap() { |
David Brazdil | 1baa9a9 | 2022-06-28 14:47:50 +0100 | [diff] [blame] | 188 | info!("memory @ {reg:#x?}"); |
| 189 | } |
| 190 | |
Pierre-Clément Tosi | 8ecc78b | 2023-06-13 12:41:13 +0000 | [diff] [blame] | 191 | let compatible = cstr!("ns16550a"); |
Pierre-Clément Tosi | 41c158e | 2022-11-21 19:16:25 +0000 | [diff] [blame] | 192 | |
| 193 | for c in reader.compatible_nodes(compatible).unwrap() { |
Pierre-Clément Tosi | b244d93 | 2022-11-24 16:45:53 +0000 | [diff] [blame] | 194 | let reg = c.reg().unwrap().unwrap().next().unwrap(); |
Pierre-Clément Tosi | 41c158e | 2022-11-21 19:16:25 +0000 | [diff] [blame] | 195 | info!("node compatible with '{}' at {reg:?}", compatible.to_str().unwrap()); |
| 196 | } |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 197 | } |
Pierre-Clément Tosi | 41c158e | 2022-11-21 19:16:25 +0000 | [diff] [blame] | 198 | |
Andrew Walbran | 8217d06 | 2022-11-22 16:56:18 +0000 | [diff] [blame] | 199 | fn modify_fdt(writer: &mut Fdt) { |
Pierre-Clément Tosi | 1b0d890 | 2022-11-21 18:16:59 +0000 | [diff] [blame] | 200 | writer.unpack().unwrap(); |
| 201 | info!("FDT successfully unpacked."); |
| 202 | |
Pierre-Clément Tosi | 8ecc78b | 2023-06-13 12:41:13 +0000 | [diff] [blame] | 203 | let path = cstr!("/memory"); |
Pierre-Clément Tosi | b244d93 | 2022-11-24 16:45:53 +0000 | [diff] [blame] | 204 | let mut node = writer.node_mut(path).unwrap().unwrap(); |
Pierre-Clément Tosi | 8ecc78b | 2023-06-13 12:41:13 +0000 | [diff] [blame] | 205 | let name = cstr!("child"); |
Pierre-Clément Tosi | 1b0d890 | 2022-11-21 18:16:59 +0000 | [diff] [blame] | 206 | let mut child = node.add_subnode(name).unwrap(); |
| 207 | info!("Created subnode '{}/{}'.", path.to_str().unwrap(), name.to_str().unwrap()); |
| 208 | |
Pierre-Clément Tosi | 8ecc78b | 2023-06-13 12:41:13 +0000 | [diff] [blame] | 209 | let name = cstr!("str-property"); |
Pierre-Clément Tosi | 1b0d890 | 2022-11-21 18:16:59 +0000 | [diff] [blame] | 210 | child.appendprop(name, b"property-value\0").unwrap(); |
| 211 | info!("Appended property '{}'.", name.to_str().unwrap()); |
| 212 | |
Pierre-Clément Tosi | 8ecc78b | 2023-06-13 12:41:13 +0000 | [diff] [blame] | 213 | let name = cstr!("pair-property"); |
Pierre-Clément Tosi | 1b0d890 | 2022-11-21 18:16:59 +0000 | [diff] [blame] | 214 | let addr = 0x0123_4567u64; |
| 215 | let size = 0x89ab_cdefu64; |
| 216 | child.appendprop_addrrange(name, addr, size).unwrap(); |
| 217 | info!("Appended property '{}'.", name.to_str().unwrap()); |
| 218 | |
| 219 | let writer = child.fdt(); |
| 220 | writer.pack().unwrap(); |
| 221 | info!("FDT successfully packed."); |
| 222 | |
David Brazdil | 1baa9a9 | 2022-06-28 14:47:50 +0100 | [diff] [blame] | 223 | info!("FDT checks done."); |
| 224 | } |
| 225 | |
Andrew Walbran | f7b6dc8 | 2022-04-20 16:24:30 +0000 | [diff] [blame] | 226 | fn check_alloc() { |
David Brazdil | b41aa8f | 2022-07-05 12:41:00 +0100 | [diff] [blame] | 227 | info!("Allocating a Vec..."); |
Andrew Walbran | f7b6dc8 | 2022-04-20 16:24:30 +0000 | [diff] [blame] | 228 | let mut vector: Vec<u32> = vec![1, 2, 3, 4]; |
| 229 | assert_eq!(vector[0], 1); |
| 230 | assert_eq!(vector[1], 2); |
| 231 | assert_eq!(vector[2], 3); |
| 232 | assert_eq!(vector[3], 4); |
| 233 | vector[2] = 42; |
| 234 | assert_eq!(vector[2], 42); |
David Brazdil | b41aa8f | 2022-07-05 12:41:00 +0100 | [diff] [blame] | 235 | info!("Vec seems to work."); |
Andrew Walbran | f7b6dc8 | 2022-04-20 16:24:30 +0000 | [diff] [blame] | 236 | } |
David Brazdil | 9a83e61 | 2022-09-27 17:38:10 +0000 | [diff] [blame] | 237 | |
| 238 | fn check_dice() { |
| 239 | info!("Testing DICE integration..."); |
Alice Wang | cb9d2f9 | 2023-02-06 10:29:00 +0000 | [diff] [blame] | 240 | let hash = diced_open_dice::hash("hello world".as_bytes()).expect("DiceHash failed"); |
David Brazdil | 9a83e61 | 2022-09-27 17:38:10 +0000 | [diff] [blame] | 241 | assert_eq!( |
| 242 | hash, |
| 243 | [ |
| 244 | 0x30, 0x9e, 0xcc, 0x48, 0x9c, 0x12, 0xd6, 0xeb, 0x4c, 0xc4, 0x0f, 0x50, 0xc9, 0x02, |
| 245 | 0xf2, 0xb4, 0xd0, 0xed, 0x77, 0xee, 0x51, 0x1a, 0x7c, 0x7a, 0x9b, 0xcd, 0x3c, 0xa8, |
| 246 | 0x6d, 0x4c, 0xd8, 0x6f, 0x98, 0x9d, 0xd3, 0x5b, 0xc5, 0xff, 0x49, 0x96, 0x70, 0xda, |
| 247 | 0x34, 0x25, 0x5b, 0x45, 0xb0, 0xcf, 0xd8, 0x30, 0xe8, 0x1f, 0x60, 0x5d, 0xcf, 0x7d, |
| 248 | 0xc5, 0x54, 0x2e, 0x93, 0xae, 0x9c, 0xd7, 0x6f |
| 249 | ] |
| 250 | ); |
| 251 | } |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 252 | |
| 253 | macro_rules! log_all_levels { |
| 254 | ($msg:literal) => {{ |
| 255 | error!($msg); |
| 256 | warn!($msg); |
| 257 | info!($msg); |
| 258 | debug!($msg); |
| 259 | trace!($msg); |
| 260 | }}; |
| 261 | } |
| 262 | |
| 263 | fn emit_suppressed_log() { |
| 264 | { |
| 265 | let _guard = logger::suppress(); |
| 266 | log_all_levels!("Suppressed message"); |
| 267 | } |
| 268 | log_all_levels!("Unsuppressed message"); |
| 269 | } |