[
    IoMapping(
        device: Display,
        base: 0x0000_0000,
        size: 0x0000_07D0, // 2000 bytes (80x25)
    ),
],