// Copyright 2022, The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

//! pVM firmware.

#![no_main]
#![no_std]
#![feature(default_alloc_error_handler)]

mod avb;
mod entry;
mod exceptions;
mod heap;
mod helpers;
mod mmio_guard;
mod smccc;

use avb::PUBLIC_KEY;
use log::{debug, info};

fn main(fdt: &mut [u8], payload: &[u8], bcc: &[u8]) {
    info!("pVM firmware");
    debug!(
        "fdt_address={:#018x}, payload_start={:#018x}, payload_size={:#018x}",
        fdt.as_ptr() as usize,
        payload.as_ptr() as usize,
        payload.len(),
    );
    debug!("BCC: {:?} ({:#x} bytes)", bcc.as_ptr(), bcc.len());
    debug!("AVB public key: addr={:?}, size={:#x} ({1})", PUBLIC_KEY.as_ptr(), PUBLIC_KEY.len());
    info!("Starting payload...");
}