axplat-dyn 0.4.0

A platform support for arceos.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use core::ptr::NonNull;

use rdrive::{Platform, init, probe_pre_kernel};
use somehal::{boot_info, mem::phys_to_virt};

pub fn setup() {
    let paddr = boot_info().fdt.expect("FDT must be present");
    let fdt = phys_to_virt(paddr.as_ptr() as usize);
    init(Platform::Fdt {
        addr: unsafe { NonNull::new_unchecked(fdt) },
    })
    .unwrap();

    probe_pre_kernel().unwrap();
}