_

1// 混合使用三层语义的 UEFI 引导程序
2Rimport uefi-protocols
3Rimport kernel-mm
4
5@aligned(8)
6struct MemDesc {
7    type: UInt32
8    phys/start: PhysAddr
9    virt/start: VirtAddr
10    num/pages: UInt64
11    attr: UInt64
12}
13
14syntax DebugOps {
15    pattern "MAGIC/BREAK" => bytes "EB FE"
16    pattern "VGA/CHAR $c" => asm "mov byte ptr [0xB8000], $c"
17}
18
19@entry
20func efi/main(handle: uefi-Handle, sys/table: ptr) -> uefi-Status {
21    metal {
22        sys/table\con/out\output/string("Booting AethelOS...\r\n")
23        let buffer = sys/table\boot/services\allocate/pool(map/size)
24        let descriptors = buffer as view<[MemDesc]>
25    }
26
27    metal using DebugOps {
28        VGA/CHAR 0x41
29        if map/size == 0 { MAGIC/BREAK }
30    }
31    return uefi-Status\Success
32}