axvm 0.5.26

Virtual Machine resource management crate for ArceOS's hypervisor variant.
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

use super::*;

#[test]
fn only_device_discovery_machines_emit_a_default_root_selector() {
    assert_eq!(x86_64_profile().default_passthrough_device_path, None);
    assert_eq!(
        aarch64_profile(1).default_passthrough_device_path,
        Some("/")
    );
    assert_eq!(
        riscv64_profile(2).default_passthrough_device_path,
        Some("/")
    );
    assert_eq!(
        loongarch64_profile().default_passthrough_device_path,
        Some("/")
    );
}

#[test]
fn machine_serial_resources_match_guest_platform_contract() {
    assert_eq!(
        x86_64_profile().serial,
        GuestSerialProfile {
            model: GuestSerialModel::Uart16550,
            transport: GuestSerialTransport::Port {
                base: 0x3f8,
                length: 8,
            },
            irq: 4,
            clock_hz: 1_843_200,
        }
    );
    assert_eq!(
        aarch64_profile(1).serial,
        GuestSerialProfile {
            model: GuestSerialModel::Pl011,
            transport: GuestSerialTransport::Mmio {
                base: 0x0900_0000,
                length: 0x1000,
                register_shift: 0,
                register_width: AccessWidth::Dword,
            },
            irq: 33,
            clock_hz: 24_000_000,
        }
    );
    assert_eq!(
        riscv64_profile(2).serial,
        GuestSerialProfile {
            model: GuestSerialModel::Uart16550,
            transport: GuestSerialTransport::Mmio {
                base: 0x1000_0000,
                length: 0x100,
                register_shift: 0,
                register_width: AccessWidth::Byte,
            },
            irq: 10,
            clock_hz: 3_686_400,
        }
    );
    assert_eq!(
        loongarch64_profile().serial,
        GuestSerialProfile {
            model: GuestSerialModel::Uart16550,
            transport: GuestSerialTransport::Mmio {
                base: 0x1fe0_01e0,
                length: 0x100,
                register_shift: 0,
                register_width: AccessWidth::Byte,
            },
            irq: 2,
            clock_hz: 100_000_000,
        }
    );
}