kernel/kernel.rad 684 B raw
1
//! Kernel resource management and machine execution.
2
3
@test use std::testing;
4
5
export mod fdt;
6
export mod abi;
7
export mod limits;
8
export mod slots;
9
export mod range;
10
export mod sync;
11
export mod platform;
12
export mod trap;
13
export mod capability;
14
export mod transactions;
15
export mod events;
16
export mod interrupts;
17
export mod devices;
18
export mod plic;
19
export mod registry;
20
export mod frames;
21
export mod backing;
22
export mod pages;
23
export mod loader;
24
export mod instances;
25
export mod domains;
26
export mod lifecycle;
27
export mod budgets;
28
export mod dispatch;
29
export mod timers;
30
export mod remote;
31
export mod calls;
32
export mod sys;
33
export mod boot;
34
export mod startup;
35
@test export mod tests;