David Brazdil | 66fc120 | 2022-07-04 21:48:45 +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 | //! Project Rialto main source file. |
| 16 | |
| 17 | #![no_main] |
| 18 | #![no_std] |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 19 | |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 20 | mod error; |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 21 | mod exceptions; |
| 22 | |
| 23 | extern crate alloc; |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 24 | |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 25 | use crate::error::{Error, Result}; |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 26 | use aarch64_paging::{ |
| 27 | idmap::IdMap, |
| 28 | paging::{Attributes, MemoryRegion}, |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 29 | }; |
| 30 | use buddy_system_allocator::LockedHeap; |
Pierre-Clément Tosi | 5fa484f | 2023-04-21 15:01:50 +0100 | [diff] [blame] | 31 | use core::ops::Range; |
Alice Wang | 90e6f16 | 2023-04-17 13:49:45 +0000 | [diff] [blame] | 32 | use hyp::get_hypervisor; |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 33 | use log::{debug, error, info}; |
Pierre-Clément Tosi | 5fa484f | 2023-04-21 15:01:50 +0100 | [diff] [blame] | 34 | use vmbase::{layout, main, power::reboot}; |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 35 | |
| 36 | const SZ_1K: usize = 1024; |
Pierre-Clément Tosi | 23aba52 | 2023-04-21 17:03:50 +0100 | [diff] [blame] | 37 | const SZ_4K: usize = 4 * SZ_1K; |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 38 | const SZ_64K: usize = 64 * SZ_1K; |
| 39 | const SZ_1M: usize = 1024 * SZ_1K; |
| 40 | const SZ_1G: usize = 1024 * SZ_1M; |
| 41 | |
| 42 | // Root level is given by the value of TCR_EL1.TG0 and TCR_EL1.T0SZ, set in |
| 43 | // entry.S. For 4KB granule and 39-bit VA, the root level is 1. |
| 44 | const PT_ROOT_LEVEL: usize = 1; |
| 45 | const PT_ASID: usize = 1; |
| 46 | |
David Brazdil | 6629b6e | 2022-07-09 22:48:49 +0100 | [diff] [blame] | 47 | const PROT_DEV: Attributes = Attributes::from_bits_truncate( |
| 48 | Attributes::DEVICE_NGNRE.bits() | Attributes::EXECUTE_NEVER.bits(), |
| 49 | ); |
| 50 | const PROT_RX: Attributes = Attributes::from_bits_truncate( |
| 51 | Attributes::NORMAL.bits() | Attributes::NON_GLOBAL.bits() | Attributes::READ_ONLY.bits(), |
| 52 | ); |
| 53 | const PROT_RO: Attributes = Attributes::from_bits_truncate( |
| 54 | Attributes::NORMAL.bits() |
| 55 | | Attributes::NON_GLOBAL.bits() |
| 56 | | Attributes::READ_ONLY.bits() |
| 57 | | Attributes::EXECUTE_NEVER.bits(), |
| 58 | ); |
| 59 | const PROT_RW: Attributes = Attributes::from_bits_truncate( |
| 60 | Attributes::NORMAL.bits() | Attributes::NON_GLOBAL.bits() | Attributes::EXECUTE_NEVER.bits(), |
| 61 | ); |
| 62 | |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 63 | #[global_allocator] |
| 64 | static HEAP_ALLOCATOR: LockedHeap<32> = LockedHeap::<32>::new(); |
| 65 | |
| 66 | static mut HEAP: [u8; SZ_64K] = [0; SZ_64K]; |
| 67 | |
Pierre-Clément Tosi | 5fa484f | 2023-04-21 15:01:50 +0100 | [diff] [blame] | 68 | fn into_memreg(r: &Range<usize>) -> MemoryRegion { |
| 69 | MemoryRegion::new(r.start, r.end) |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 70 | } |
| 71 | |
| 72 | fn init_heap() { |
| 73 | // SAFETY: Allocator set to otherwise unused, static memory. |
| 74 | unsafe { |
| 75 | HEAP_ALLOCATOR.lock().init(&mut HEAP as *mut u8 as usize, HEAP.len()); |
| 76 | } |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 77 | } |
| 78 | |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 79 | fn init_kernel_pgt(pgt: &mut IdMap) -> Result<()> { |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 80 | // The first 1 GiB of address space is used by crosvm for MMIO. |
| 81 | let reg_dev = MemoryRegion::new(0, SZ_1G); |
Pierre-Clément Tosi | 5fa484f | 2023-04-21 15:01:50 +0100 | [diff] [blame] | 82 | let reg_text = into_memreg(&layout::text_range()); |
| 83 | let reg_rodata = into_memreg(&layout::rodata_range()); |
Pierre-Clément Tosi | 8bb3d72 | 2023-04-21 16:10:56 +0100 | [diff] [blame] | 84 | let reg_scratch = into_memreg(&layout::scratch_range()); |
Pierre-Clément Tosi | 23aba52 | 2023-04-21 17:03:50 +0100 | [diff] [blame] | 85 | let reg_stack = into_memreg(&layout::stack_range(40 * SZ_4K)); |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 86 | |
David Brazdil | 6629b6e | 2022-07-09 22:48:49 +0100 | [diff] [blame] | 87 | debug!("Preparing kernel page table."); |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 88 | debug!(" dev: {}-{}", reg_dev.start(), reg_dev.end()); |
| 89 | debug!(" text: {}-{}", reg_text.start(), reg_text.end()); |
| 90 | debug!(" rodata: {}-{}", reg_rodata.start(), reg_rodata.end()); |
Pierre-Clément Tosi | 8bb3d72 | 2023-04-21 16:10:56 +0100 | [diff] [blame] | 91 | debug!(" scratch:{}-{}", reg_scratch.start(), reg_scratch.end()); |
| 92 | debug!(" stack: {}-{}", reg_stack.start(), reg_stack.end()); |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 93 | |
David Brazdil | 6629b6e | 2022-07-09 22:48:49 +0100 | [diff] [blame] | 94 | pgt.map_range(®_dev, PROT_DEV)?; |
| 95 | pgt.map_range(®_text, PROT_RX)?; |
| 96 | pgt.map_range(®_rodata, PROT_RO)?; |
Pierre-Clément Tosi | 8bb3d72 | 2023-04-21 16:10:56 +0100 | [diff] [blame] | 97 | pgt.map_range(®_scratch, PROT_RW)?; |
| 98 | pgt.map_range(®_stack, PROT_RW)?; |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 99 | |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 100 | pgt.activate(); |
| 101 | info!("Activated kernel page table."); |
David Brazdil | b6463c9 | 2022-07-11 15:50:43 +0100 | [diff] [blame] | 102 | Ok(()) |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 103 | } |
| 104 | |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 105 | fn try_init_logger() -> Result<()> { |
Alice Wang | 90e6f16 | 2023-04-17 13:49:45 +0000 | [diff] [blame] | 106 | match get_hypervisor().mmio_guard_init() { |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 107 | // pKVM blocks MMIO by default, we need to enable MMIO guard to support logging. |
Alice Wang | 90e6f16 | 2023-04-17 13:49:45 +0000 | [diff] [blame] | 108 | Ok(()) => get_hypervisor().mmio_guard_map(vmbase::console::BASE_ADDRESS)?, |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 109 | // MMIO guard enroll is not supported in unprotected VM. |
Alice Wang | 90e6f16 | 2023-04-17 13:49:45 +0000 | [diff] [blame] | 110 | Err(hyp::Error::MmioGuardNotsupported) => {} |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 111 | Err(e) => return Err(e.into()), |
| 112 | }; |
| 113 | vmbase::logger::init(log::LevelFilter::Debug).map_err(|_| Error::LoggerInit) |
| 114 | } |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 115 | |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 116 | fn try_main() -> Result<()> { |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 117 | info!("Welcome to Rialto!"); |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 118 | |
| 119 | let mut pgt = IdMap::new(PT_ASID, PT_ROOT_LEVEL); |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 120 | init_kernel_pgt(&mut pgt)?; |
| 121 | Ok(()) |
| 122 | } |
| 123 | |
| 124 | /// Entry point for Rialto. |
| 125 | pub fn main(_a0: u64, _a1: u64, _a2: u64, _a3: u64) { |
Pierre-Clément Tosi | ff27757 | 2023-04-27 10:06:44 +0000 | [diff] [blame^] | 126 | init_heap(); |
Alice Wang | 9a8b39f | 2023-04-12 15:31:48 +0000 | [diff] [blame] | 127 | if try_init_logger().is_err() { |
| 128 | // Don't log anything if the logger initialization fails. |
| 129 | reboot(); |
| 130 | } |
| 131 | match try_main() { |
| 132 | Ok(()) => info!("Rialto ends successfully."), |
| 133 | Err(e) => { |
| 134 | error!("Rialto failed with {e}"); |
| 135 | reboot() |
| 136 | } |
| 137 | } |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 138 | } |
| 139 | |
David Brazdil | 66fc120 | 2022-07-04 21:48:45 +0100 | [diff] [blame] | 140 | main!(main); |