blob: ba2611483b15e32b755705622a9844e3e84b5f80 [file] [log] [blame]
Andrew Walbran68a8c162022-03-07 15:38:42 +00001// 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 Tosifc531152022-10-20 12:22:23 +010019#![feature(default_alloc_error_handler)]
Andrew Walbran68a8c162022-03-07 15:38:42 +000020
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000021extern crate alloc;
22
Pierre-Clément Tosi20b60962022-10-17 13:35:27 +010023mod config;
Jaewan Kimba8929b2023-01-13 11:13:29 +090024mod debug_policy;
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +000025mod dice;
Pierre-Clément Tosi5bbfca52022-10-21 12:14:35 +010026mod entry;
Andrew Walbrandfb73372022-04-21 10:52:27 +000027mod exceptions;
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000028mod fdt;
Pierre-Clément Tosifc531152022-10-20 12:22:23 +010029mod heap;
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010030mod helpers;
Andrew Walbranba47d1d2022-12-14 15:21:44 +000031mod hvc;
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000032mod memory;
Pierre-Clément Tosi072969b2022-10-19 17:32:24 +010033mod mmio_guard;
Pierre-Clément Tosia8a4a202022-11-03 14:16:46 +000034mod mmu;
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010035mod smccc;
Andrew Walbran848decf2022-12-15 14:39:38 +000036mod virtio;
Andrew Walbran68a8c162022-03-07 15:38:42 +000037
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000038use alloc::boxed::Box;
39
Andrew Walbrand1d03182022-12-09 18:20:01 +000040use crate::{
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +000041 dice::PartialInputs,
Andrew Walbrand1d03182022-12-09 18:20:01 +000042 entry::RebootReason,
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000043 fdt::add_dice_node,
44 helpers::flush,
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +000045 helpers::GUEST_PAGE_SIZE,
Andrew Walbrand1d03182022-12-09 18:20:01 +000046 memory::MemoryTracker,
Andrew Walbranb398fc82023-01-24 14:45:46 +000047 virtio::pci::{self, find_virtio_devices},
Andrew Walbrand1d03182022-12-09 18:20:01 +000048};
Alice Wang843d8312023-02-15 09:47:06 +000049use diced_open_dice::{bcc_handover_main_flow, bcc_handover_parse, HIDDEN_SIZE};
Andrew Walbran730375d2022-12-21 14:04:34 +000050use fdtpci::{PciError, PciInfo};
Andrew Walbran19690632022-12-07 16:41:30 +000051use libfdt::Fdt;
Pierre-Clément Tosi8edf72e2022-12-06 16:02:57 +000052use log::{debug, error, info, trace};
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000053use pvmfw_avb::verify_payload;
Alice Wang0aa30322023-01-31 11:00:10 +000054use pvmfw_embedded_key::PUBLIC_KEY;
Andrew Walbran68a8c162022-03-07 15:38:42 +000055
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +000056const NEXT_BCC_SIZE: usize = GUEST_PAGE_SIZE;
57
Alice Wang28cbcf12022-12-01 07:58:28 +000058fn main(
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000059 fdt: &mut Fdt,
Alice Wang28cbcf12022-12-01 07:58:28 +000060 signed_kernel: &[u8],
61 ramdisk: Option<&[u8]>,
Alice Wang843d8312023-02-15 09:47:06 +000062 current_bcc_handover: &[u8],
Andrew Walbran19690632022-12-07 16:41:30 +000063 memory: &mut MemoryTracker,
Alice Wang0a688d22022-12-02 09:48:41 +000064) -> Result<(), RebootReason> {
Pierre-Clément Tosi37105a62022-10-18 12:21:48 +010065 info!("pVM firmware");
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000066 debug!("FDT: {:?}", fdt as *const libfdt::Fdt);
67 debug!("Signed kernel: {:?} ({:#x} bytes)", signed_kernel.as_ptr(), signed_kernel.len());
Alice Wanga78279c2022-12-16 12:41:19 +000068 debug!("AVB public key: addr={:?}, size={:#x} ({1})", PUBLIC_KEY.as_ptr(), PUBLIC_KEY.len());
Pierre-Clément Tosia0934c12022-11-25 20:54:11 +000069 if let Some(rd) = ramdisk {
70 debug!("Ramdisk: {:?} ({:#x} bytes)", rd.as_ptr(), rd.len());
71 } else {
72 debug!("Ramdisk: None");
73 }
Alice Wang843d8312023-02-15 09:47:06 +000074 let bcc_handover = bcc_handover_parse(current_bcc_handover).map_err(|e| {
75 error!("Invalid BCC Handover: {e:?}");
76 RebootReason::InvalidBcc
77 })?;
78 trace!("BCC: {bcc_handover:x?}");
Andrew Walbran19690632022-12-07 16:41:30 +000079
80 // Set up PCI bus for VirtIO devices.
Andrew Walbrand1d03182022-12-09 18:20:01 +000081 let pci_info = PciInfo::from_fdt(fdt).map_err(handle_pci_error)?;
82 debug!("PCI: {:#x?}", pci_info);
Andrew Walbranb398fc82023-01-24 14:45:46 +000083 let mut pci_root = pci::initialise(pci_info, memory)?;
Andrew Walbran0a8dac72022-12-21 13:49:06 +000084 find_virtio_devices(&mut pci_root).map_err(handle_pci_error)?;
Andrew Walbran19690632022-12-07 16:41:30 +000085
Alice Wang1f0add02023-01-23 16:22:53 +000086 let verified_boot_data = verify_payload(signed_kernel, ramdisk, PUBLIC_KEY).map_err(|e| {
Pierre-Clément Tosi2d652982023-01-09 19:30:17 +000087 error!("Failed to verify the payload: {e}");
88 RebootReason::PayloadVerificationError
89 })?;
90
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +000091 let next_bcc = heap::aligned_boxed_slice(NEXT_BCC_SIZE, GUEST_PAGE_SIZE).ok_or_else(|| {
92 error!("Failed to allocate the next-stage BCC");
93 RebootReason::InternalError
94 })?;
95 // By leaking the slice, its content will be left behind for the next stage.
96 let next_bcc = Box::leak(next_bcc);
Pierre-Clément Tosi4f4f5eb2022-12-08 14:31:42 +000097
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +000098 let dice_inputs = PartialInputs::new(&verified_boot_data).map_err(|e| {
99 error!("Failed to compute partial DICE inputs: {e:?}");
100 RebootReason::InternalError
101 })?;
Alice Wang843d8312023-02-15 09:47:06 +0000102 let salt = [0; HIDDEN_SIZE]; // TODO(b/249723852): Get from instance.img and/or TRNG.
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +0000103 let dice_inputs = dice_inputs.into_input_values(&salt).map_err(|e| {
104 error!("Failed to generate DICE inputs: {e:?}");
105 RebootReason::InternalError
106 })?;
Alice Wang843d8312023-02-15 09:47:06 +0000107 let _ = bcc_handover_main_flow(current_bcc_handover, &dice_inputs, next_bcc).map_err(|e| {
Pierre-Clément Tosif58f3a32023-02-02 16:24:23 +0000108 error!("Failed to derive next-stage DICE secrets: {e:?}");
109 RebootReason::SecretDerivationError
110 })?;
Pierre-Clément Tosidb74cb12022-12-08 13:56:25 +0000111 flush(next_bcc);
112
113 add_dice_node(fdt, next_bcc.as_ptr() as usize, NEXT_BCC_SIZE).map_err(|e| {
114 error!("Failed to add DICE node to device tree: {e}");
115 RebootReason::InternalError
116 })?;
117
Alice Wang4379c832022-12-05 15:50:20 +0000118 info!("Starting payload...");
Alice Wang28cbcf12022-12-01 07:58:28 +0000119 Ok(())
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +0100120}
Andrew Walbrand1d03182022-12-09 18:20:01 +0000121
122/// Logs the given PCI error and returns the appropriate `RebootReason`.
123fn handle_pci_error(e: PciError) -> RebootReason {
124 error!("{}", e);
125 match e {
126 PciError::FdtErrorPci(_)
127 | PciError::FdtNoPci
128 | PciError::FdtErrorReg(_)
129 | PciError::FdtMissingReg
130 | PciError::FdtRegEmpty
131 | PciError::FdtRegMissingSize
132 | PciError::CamWrongSize(_)
133 | PciError::FdtErrorRanges(_)
134 | PciError::FdtMissingRanges
135 | PciError::RangeAddressMismatch { .. }
136 | PciError::NoSuitableRange => RebootReason::InvalidFdt,
Andrew Walbrand1d03182022-12-09 18:20:01 +0000137 }
138}