axplat-dyn 0.7.9

A dynamic platform module for ArceOS, providing runtime platform detection and configuration
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

#![no_std]

extern crate alloc;
extern crate ax_driver as _;
extern crate somehal;

#[macro_use]
extern crate ax_plat;
#[allow(unused_imports)]
#[macro_use]
extern crate log;

mod boot;
mod console;
pub mod drivers;
mod generic_timer;
mod init;
#[cfg(feature = "irq")]
mod irq;
mod mem;
mod platform;
mod power;

pub use boot::{boot_stack_bounds, bootargs};
pub use generic_timer::try_init_epoch_offset;

#[cfg(feature = "irq")]
pub fn enable_timer_irq() {
    somehal::timer::irq_enable();
}
#[cfg(feature = "irq")]
pub fn ipi_irq() -> ax_plat::irq::IrqId {
    somehal::irq::ipi_irq()
}
#[cfg(all(feature = "irq", target_arch = "riscv64", feature = "hv"))]
pub use irq::{register_virtual_irq_injector, set_virtual_irq_targets};