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] |
Pierre-Clément Tosi | fc53115 | 2022-10-20 12:22:23 +0100 | [diff] [blame] | 19 | #![feature(default_alloc_error_handler)] |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 20 | #![feature(ptr_const_cast)] // Stabilized in 1.65.0 |
Andrew Walbran | 68a8c16 | 2022-03-07 15:38:42 +0000 | [diff] [blame] | 21 | |
Pierre-Clément Tosi | 4ef7522 | 2022-10-26 17:40:50 +0100 | [diff] [blame] | 22 | mod avb; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 23 | mod config; |
Pierre-Clément Tosi | 5bbfca5 | 2022-10-21 12:14:35 +0100 | [diff] [blame] | 24 | mod entry; |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 25 | mod exceptions; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 26 | mod fdt; |
Pierre-Clément Tosi | fc53115 | 2022-10-20 12:22:23 +0100 | [diff] [blame] | 27 | mod heap; |
Pierre-Clément Tosi | da4440a | 2022-08-22 18:06:32 +0100 | [diff] [blame] | 28 | mod helpers; |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 29 | mod memory; |
Pierre-Clément Tosi | 072969b | 2022-10-19 17:32:24 +0100 | [diff] [blame] | 30 | mod mmio_guard; |
Pierre-Clément Tosi | a8a4a20 | 2022-11-03 14:16:46 +0000 | [diff] [blame] | 31 | mod mmu; |
Pierre-Clément Tosi | da4440a | 2022-08-22 18:06:32 +0100 | [diff] [blame] | 32 | mod smccc; |
Andrew Walbran | 68a8c16 | 2022-03-07 15:38:42 +0000 | [diff] [blame] | 33 | |
Alice Wang | 0a688d2 | 2022-12-02 09:48:41 +0000 | [diff] [blame] | 34 | use crate::entry::RebootReason; |
Pierre-Clément Tosi | 4ef7522 | 2022-10-26 17:40:50 +0100 | [diff] [blame] | 35 | use avb::PUBLIC_KEY; |
Alice Wang | 0a688d2 | 2022-12-02 09:48:41 +0000 | [diff] [blame] | 36 | use avb_nostd::verify_image; |
| 37 | use log::{debug, error, info}; |
Andrew Walbran | 68a8c16 | 2022-03-07 15:38:42 +0000 | [diff] [blame] | 38 | |
Alice Wang | 28cbcf1 | 2022-12-01 07:58:28 +0000 | [diff] [blame] | 39 | fn main( |
| 40 | fdt: &libfdt::Fdt, |
| 41 | signed_kernel: &[u8], |
| 42 | ramdisk: Option<&[u8]>, |
| 43 | bcc: &[u8], |
Alice Wang | 0a688d2 | 2022-12-02 09:48:41 +0000 | [diff] [blame] | 44 | ) -> Result<(), RebootReason> { |
Pierre-Clément Tosi | 37105a6 | 2022-10-18 12:21:48 +0100 | [diff] [blame] | 45 | info!("pVM firmware"); |
Pierre-Clément Tosi | a0934c1 | 2022-11-25 20:54:11 +0000 | [diff] [blame] | 46 | debug!("FDT: {:?}", fdt as *const libfdt::Fdt); |
| 47 | debug!("Signed kernel: {:?} ({:#x} bytes)", signed_kernel.as_ptr(), signed_kernel.len()); |
| 48 | if let Some(rd) = ramdisk { |
| 49 | debug!("Ramdisk: {:?} ({:#x} bytes)", rd.as_ptr(), rd.len()); |
| 50 | } else { |
| 51 | debug!("Ramdisk: None"); |
| 52 | } |
Pierre-Clément Tosi | e8726e4 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 53 | debug!("BCC: {:?} ({:#x} bytes)", bcc.as_ptr(), bcc.len()); |
Alice Wang | 0a688d2 | 2022-12-02 09:48:41 +0000 | [diff] [blame] | 54 | verify_image(signed_kernel, PUBLIC_KEY).map_err(|e| { |
| 55 | error!("Failed to verify the payload: {e}"); |
| 56 | RebootReason::PayloadVerificationError |
| 57 | })?; |
Alice Wang | 4379c83 | 2022-12-05 15:50:20 +0000 | [diff] [blame^] | 58 | info!("Starting payload..."); |
Alice Wang | 28cbcf1 | 2022-12-01 07:58:28 +0000 | [diff] [blame] | 59 | Ok(()) |
Pierre-Clément Tosi | 263ffd5 | 2022-10-05 20:27:50 +0100 | [diff] [blame] | 60 | } |