blob: eb97961b1ffdd6fda2b5efad1a4759daa9947a62 [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]
19
Andrew Walbrandfb73372022-04-21 10:52:27 +000020mod exceptions;
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010021mod helpers;
22mod smccc;
Andrew Walbran68a8c162022-03-07 15:38:42 +000023
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +010024use core::fmt;
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010025use helpers::checked_page_of;
Andrew Walbranb996b4a2022-04-22 15:15:41 +000026
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010027use vmbase::{console, main, power::reboot, println};
Andrew Walbran68a8c162022-03-07 15:38:42 +000028
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +010029#[derive(Debug, Clone)]
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010030enum Error {
31 /// Failed to configure the UART; no logs available.
32 FailedUartSetup,
33}
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +010034
35impl fmt::Display for Error {
36 fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +010037 let msg = match self {
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010038 Self::FailedUartSetup => "Failed to configure the UART",
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +010039 };
40 write!(f, "{}", msg)
41 }
42}
43
44fn main(fdt_address: u64, payload_start: u64, payload_size: u64, arg3: u64) -> Result<(), Error> {
Pierre-Clément Tosida4440a2022-08-22 18:06:32 +010045 // We need to inform the hypervisor that the MMIO page containing the UART may be shared back.
46 let uart = console::BASE_ADDRESS as u64;
47 let mmio_granule = smccc::mmio_guard_info().map_err(|_| Error::FailedUartSetup)?;
48 let uart_page = checked_page_of(uart, mmio_granule).ok_or(Error::FailedUartSetup)?;
49 smccc::mmio_guard_map(uart_page).map_err(|_| Error::FailedUartSetup)?;
50
Andrew Walbrane03395a2022-04-29 15:15:49 +000051 println!("pVM firmware");
52 println!(
Andrew Walbranf17c6512022-06-28 15:52:23 +000053 "fdt_address={:#018x}, payload_start={:#018x}, payload_size={:#018x}, x3={:#018x}",
Andrew Walbrane03395a2022-04-29 15:15:49 +000054 fdt_address, payload_start, payload_size, arg3,
55 );
Andrew Walbran5db32352022-05-06 13:58:11 +000056
57 println!("Starting payload...");
Pierre-Clément Tosi263ffd52022-10-05 20:27:50 +010058
59 Ok(())
60}
61
62main!(main_wrapper);
63
64/// Entry point for pVM firmware.
65pub fn main_wrapper(fdt_address: u64, payload_start: u64, payload_size: u64, arg3: u64) {
66 match main(fdt_address, payload_start, payload_size, arg3) {
67 Ok(()) => jump_to_payload(fdt_address, payload_start),
68 Err(e) => {
69 println!("Boot rejected: {}", e);
70 }
71 }
72 reboot()
73}
74
75fn jump_to_payload(fdt_address: u64, payload_start: u64) {
Andrew Walbran5db32352022-05-06 13:58:11 +000076 // Safe because this is a function we have implemented in assembly that matches its signature
77 // here.
78 unsafe {
79 start_payload(fdt_address, payload_start);
80 }
81}
82
83extern "C" {
84 fn start_payload(fdt_address: u64, payload_start: u64) -> !;
Andrew Walbran68a8c162022-03-07 15:38:42 +000085}