Branch: refactor/trait-boundaries

View commit log for this branch

• AGENTS.md.html
• Cargo.lock.html
• Cargo.toml.html
• README.md.html
• .cargo/config.toml.html
• .github/workflows/check.yml.html
• .github/workflows/publish-branches.yml.html
• .vscode/settings.json.html
• allocator/Cargo.toml.html
• allocator/src/aligned_box.rs.html
• allocator/src/buddy_allocator.rs.html
• allocator/src/lib.rs.html
• allocator/src/range_list_allocator.rs.html
• arch_hal/Cargo.toml.html
• arch_hal/aarch64_hal/Cargo.toml.html
• arch_hal/aarch64_hal/aarch64_gdb/Cargo.toml.html
• arch_hal/aarch64_hal/aarch64_gdb/src/lib.rs.html
• arch_hal/aarch64_hal/aarch64_gdb/src/semihost.rs.html
• arch_hal/aarch64_hal/aarch64_gdb/src/xml/aarch64-core.xml.html
• arch_hal/aarch64_hal/aarch64_gdb/src/xml/aarch64-system.xml.html
• arch_hal/aarch64_hal/aarch64_gdb/src/xml/target.xml.html
• arch_hal/aarch64_hal/aarch64_mutex/Cargo.toml.html
• arch_hal/aarch64_hal/aarch64_mutex/src/lib.rs.html
• arch_hal/aarch64_hal/aarch64_test/Cargo.toml.html
• arch_hal/aarch64_hal/aarch64_test/src/lib.rs.html
• arch_hal/aarch64_hal/aarch64_unit_test/Cargo.toml.html
• arch_hal/aarch64_hal/aarch64_unit_test/README.md.html
• arch_hal/aarch64_hal/aarch64_unit_test/src/lib.rs.html
• arch_hal/aarch64_hal/aarch64_unit_test/src/stack_canary.rs.html
• arch_hal/aarch64_hal/common/Cargo.toml.html
• arch_hal/aarch64_hal/common/src/addr.rs.html
• arch_hal/aarch64_hal/common/src/irq.rs.html
• arch_hal/aarch64_hal/common/src/lib.rs.html
• arch_hal/aarch64_hal/common/src/mem.rs.html
• arch_hal/aarch64_hal/common/src/mmio.rs.html
• arch_hal/aarch64_hal/common/src/mmio_hook.rs.html
• arch_hal/aarch64_hal/cpu/Cargo.toml.html
• arch_hal/aarch64_hal/cpu/src/cache.rs.html
• arch_hal/aarch64_hal/cpu/src/lib.rs.html
• arch_hal/aarch64_hal/cpu/src/registers.rs.html
• arch_hal/aarch64_hal/exceptions/Cargo.toml.html
• arch_hal/aarch64_hal/exceptions/src/common_handler.rs.html
• arch_hal/aarch64_hal/exceptions/src/el1.rs.html
• arch_hal/aarch64_hal/exceptions/src/emulation/load.rs.html
• arch_hal/aarch64_hal/exceptions/src/emulation/mod.rs.html
• arch_hal/aarch64_hal/exceptions/src/emulation/store.rs.html
• arch_hal/aarch64_hal/exceptions/src/irq_handler.rs.html
• arch_hal/aarch64_hal/exceptions/src/lib.rs.html
• arch_hal/aarch64_hal/exceptions/src/memory_hook.rs.html
• arch_hal/aarch64_hal/exceptions/src/post_handler.rs.html
• arch_hal/aarch64_hal/exceptions/src/registers.rs.html
• arch_hal/aarch64_hal/exceptions/src/synchronous_handler.rs.html
• arch_hal/aarch64_hal/gic/Cargo.toml.html
• arch_hal/aarch64_hal/gic/scripts/run_gicv2_pending_test.sh.html
• arch_hal/aarch64_hal/gic/src/dt_irq.rs.html
• arch_hal/aarch64_hal/gic/src/gicv2/cpu_interface.rs.html
• arch_hal/aarch64_hal/gic/src/gicv2/distributor.rs.html
• arch_hal/aarch64_hal/gic/src/gicv2/mod.rs.html
• arch_hal/aarch64_hal/gic/src/gicv2/registers.rs.html
• arch_hal/aarch64_hal/gic/src/gicv2/vgic_frontend.rs.html
• arch_hal/aarch64_hal/gic/src/gicv2/virtualization.rs.html
• arch_hal/aarch64_hal/gic/src/gicv3/mod.rs.html
• arch_hal/aarch64_hal/gic/src/gicv3/registers.rs.html
• arch_hal/aarch64_hal/gic/src/lib.rs.html
• arch_hal/aarch64_hal/gic/src/vm/common/irq_state.rs.html
• arch_hal/aarch64_hal/gic/src/vm/common/mod.rs.html
• arch_hal/aarch64_hal/gic/src/vm/common/pirq.rs.html
• arch_hal/aarch64_hal/gic/src/vm/common/routing.rs.html
• arch_hal/aarch64_hal/gic/src/vm/common/vcpu_array.rs.html
• arch_hal/aarch64_hal/gic/src/vm/manager.rs.html
• arch_hal/aarch64_hal/gic/src/vm/mod.rs.html
• arch_hal/aarch64_hal/gic/src/vm/v2_ext.rs.html
• arch_hal/aarch64_hal/gic/src/vm/vcpu.rs.html
• arch_hal/aarch64_hal/gic/tests/gicv2_pending.rs.html
• arch_hal/aarch64_hal/gic/tests/gicv2_ppi_enable.rs.html
• arch_hal/aarch64_hal/gic/tests/gicv2_vgic_pending.rs.html
• arch_hal/aarch64_hal/gic/tests/support/gicv2_pending.rs.html
• arch_hal/aarch64_hal/gic/tests/support/vgic_e2e_physical_ppi.rs.html
• arch_hal/aarch64_hal/gic/tests/vgic_e2e_common.rs.html
• arch_hal/aarch64_hal/gic/tests/vgic_e2e_irq.rs.html
• arch_hal/aarch64_hal/gic/tests/vgic_e2e_physical_ppi.rs.html
• arch_hal/aarch64_hal/gic/tests/vgic_e2e_physical_ppi_rpi_boot.rs.html
• arch_hal/aarch64_hal/gic/tests/vgic_e2e_physical_ppi_rpi_boot_hwlr_drop_only.rs.html
• arch_hal/aarch64_hal/gic/tests/vgic_e2e_poll.rs.html
• arch_hal/aarch64_hal/gic/tests/vgic_types.rs.html
• arch_hal/aarch64_hal/paging/Cargo.toml.html
• arch_hal/aarch64_hal/paging/scripts/run_stage_paging_test.sh.html
• arch_hal/aarch64_hal/paging/src/lib.rs.html
• arch_hal/aarch64_hal/paging/src/registers.rs.html
• arch_hal/aarch64_hal/paging/src/stage1/descriptors.rs.html
• arch_hal/aarch64_hal/paging/src/stage1/mod.rs.html
• arch_hal/aarch64_hal/paging/src/stage1/registers.rs.html
• arch_hal/aarch64_hal/paging/src/stage2/descriptor.rs.html
• arch_hal/aarch64_hal/paging/src/stage2/mod.rs.html
• arch_hal/aarch64_hal/paging/src/stage2/registers.rs.html
• arch_hal/aarch64_hal/paging/tests/stage1_translation.rs.html
• arch_hal/aarch64_hal/paging/tests/stage2_translation.rs.html
• arch_hal/aarch64_hal/print/Cargo.toml.html
• arch_hal/aarch64_hal/print/src/lib.rs.html
• arch_hal/aarch64_hal/print/src/pl011.rs.html
• arch_hal/aarch64_hal/print/src/stream.rs.html
• arch_hal/aarch64_hal/psci/Cargo.toml.html
• arch_hal/aarch64_hal/psci/src/lib.rs.html
• arch_hal/aarch64_hal/soc/Cargo.toml.html
• arch_hal/aarch64_hal/soc/example/ethernet_loopback/Cargo.toml.html
• arch_hal/aarch64_hal/soc/example/ethernet_loopback/aarch64.lds.html
• arch_hal/aarch64_hal/soc/example/ethernet_loopback/build.rs.html
• arch_hal/aarch64_hal/soc/example/ethernet_loopback/src/main.rs.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_init/Cargo.toml.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_init/README.md.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_init/aarch64.lds.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_init/build.rs.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_init/src/main.rs.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_net_smoke/Cargo.toml.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_net_smoke/README.md.html
• arch_hal/aarch64_hal/soc/example/rpi5_rp1_net_smoke/src/main.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2711/genet.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2711/gpio.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2711/mod.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/brcmstb.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/mip.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/mod.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/pcie_validation.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/pirq_hook.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/rp1.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/rp1_gem.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/rp1_interrupt.rs.html
• arch_hal/aarch64_hal/soc/src/bcm2712/sdhc.rs.html
• arch_hal/aarch64_hal/soc/src/lib.rs.html
• arch_hal/aarch64_hal/src/lib.rs.html
• arch_hal/aarch64_hal/src/stack_overflow.rs.html
• arch_hal/aarch64_hal/timer/Cargo.toml.html
• arch_hal/aarch64_hal/timer/src/lib.rs.html
• arch_hal/aarch64_hal/timer/src/physical_timer.rs.html
• arch_hal/aarch64_hal/timer/src/systimer.rs.html
• arch_hal/aarch64_hal/tls/Cargo.toml.html
• arch_hal/aarch64_hal/tls/README.md.html
• arch_hal/aarch64_hal/tls/src/lib.rs.html
• arch_hal/src/lib.rs.html
• arch_hal/x86_64_hal/Cargo.toml.html
• arch_hal/x86_64_hal/src/addr.rs.html
• arch_hal/x86_64_hal/src/cpu.rs.html
• arch_hal/x86_64_hal/src/ept.rs.html
• arch_hal/x86_64_hal/src/host_state.rs.html
• arch_hal/x86_64_hal/src/lib.rs.html
• arch_hal/x86_64_hal/src/paging.rs.html
• arch_hal/x86_64_hal/src/platform_memory.rs.html
• arch_hal/x86_64_hal/src/vmcs.rs.html
• arch_hal/x86_64_hal/src/vmx.rs.html
• arch_hal/x86_64_hal/src/xstate.rs.html
• bootloader/Cargo.toml.html
• bootloader/aarch64-rpi4.lds.html
• bootloader/aarch64.lds.html
• bootloader/build.rs.html
• bootloader/src/debug.rs.html
• bootloader/src/gdb_stream.rs.html
• bootloader/src/gdb_uart.rs.html
• bootloader/src/gdb_uart_udp.rs.html
• bootloader/src/genet_selftest.rs.html
• bootloader/src/handler.rs.html
• bootloader/src/irq_decode.rs.html
• bootloader/src/irq_monitor.rs.html
• bootloader/src/main.rs.html
• bootloader/src/monitor.rs.html
• bootloader/src/net/config.rs.html
• bootloader/src/net/mod.rs.html
• bootloader/src/net/rpi4.rs.html
• bootloader/src/net/udp_uart.rs.html
• bootloader/src/net/virtio.rs.html
• bootloader/src/softirq.rs.html
• bootloader/src/vbar.rs.html
• bootloader/src/vbar_watch.rs.html
• bootloader/src/vgic.rs.html
• codex.md.html
• create_linux_bin.sh.html
• doc/evidence/x86_64/correctness-2026-09-09.md.html
• doc/evidence/x86_64/direct-vmx-0x133-forensic.txt.html
• doc/evidence/x86_64/validation-2026-08-30.md.html
• doc/evidence/x86_64/validation-2026-09-08-nested.md.html
• doc/evidence/x86_64/validation-2026-09-08-upstream.md.html
• doc/hyprprobe/README.md.html
• doc/hyprprobe/monitor.md.html
• doc/rp1_gem_rx_validation.md.html
• doc/rp1_gem_wire_tx_validation.md.html
• doc/x86_64_physical_l0.md.html
• doc/x86_64_thin_monitor.md.html
• dtb/Cargo.toml.html
• dtb/README.md.html
• dtb/build.rs.html
• dtb/src/ast.rs.html
• dtb/src/dtb_parser/big_endian.rs.html
• dtb/src/dtb_parser/generator.rs.html
• dtb/src/dtb_parser/iters.rs.html
• dtb/src/dtb_parser/mod.rs.html
• dtb/src/dtb_parser/parser.rs.html
• dtb/src/dtb_parser/types.rs.html
• dtb/src/dtb_parser/view.rs.html
• dtb/src/lib.rs.html
• dtb/src/overlay.rs.html
• dtb/src/patch.rs.html
• dtb/src/tree_copy.rs.html
• elf/Cargo.toml.html
• elf/src/lib.rs.html
• file/Cargo.toml.html
• file/block-device/Cargo.toml.html
• file/block-device/scripts/run_qemu.sh.html
• file/block-device/scripts/test.txt.html
• file/block-device/src/lib.rs.html
• file/block-device/src/virtio_blk/configuration.rs.html
• file/block-device/src/virtio_blk/operation.rs.html
• file/block-device/src/virtio_blk.rs.html
• file/block-device/tests/virtio_blk_modern.rs.html
• file/block-device-api/Cargo.toml.html
• file/block-device-api/src/lib.rs.html
• file/block-device-api/src/virtio_blk_mmio.rs.html
• file/filesystem/Cargo.toml.html
• file/filesystem/src/filesystem/fat.rs.html
• file/filesystem/src/filesystem/fat32/fat.rs.html
• file/filesystem/src/filesystem/fat32/sector.rs.html
• file/filesystem/src/filesystem/fat32.rs.html
• file/filesystem/src/filesystem.rs.html
• file/filesystem/src/lib.rs.html
• file/scripts/hello.txt.html
• file/scripts/run_fat32_virtio_test.sh.html
• file/src/lib.rs.html
• file/src/partition.rs.html
• file/tests/fat32_virtio.rs.html
• flake.lock.html
• gdb_remote/Cargo.toml.html
• gdb_remote/scripts/run_uefi_gdb_remote_qxfer_test.sh.html
• gdb_remote/scripts/run_uefi_gdb_remote_test.sh.html
• gdb_remote/src/lib.rs.html
• gdb_remote/src/rsp_framing.rs.html
• gdb_remote/src/target.rs.html
• gdb_remote/tests/rsp_binary_decode.rs.html
• gdb_remote/tests/rsp_frame_assembler.rs.html
• gdb_remote/tests/support/rsp.rs.html
• gdb_remote/tests/uefi_basic_handshake.rs.html
• gdb_remote/tests/uefi_packet_size.rs.html
• gdb_remote/tests/uefi_qxfer_features.rs.html
• intrusive_linked_list/Cargo.toml.html
• intrusive_linked_list/src/lib.rs.html
• io_api/Cargo.toml.html
• io_api/src/block_device.rs.html
• io_api/src/ethernet.rs.html
• io_api/src/lib.rs.html
• io_api/src/serial.rs.html
• io_api/src/stream.rs.html
• mutex/Cargo.toml.html
• mutex/src/lib.rs.html
• mutex/src/pod.rs.html
• nested_vmx/Cargo.toml.html
• nested_vmx/src/exit_snapshot.rs.html
• nested_vmx/src/host_validation.rs.html
• nested_vmx/src/lib.rs.html
• nested_vmx/src/msr_list.rs.html
• nested_vmx/src/vpid.rs.html
• net/Cargo.toml.html
• net/src/arp.rs.html
• net/src/checksum.rs.html
• net/src/eth.rs.html
• net/src/ipv4.rs.html
• net/src/lib.rs.html
• net/src/tftp.rs.html
• net/src/udp.rs.html
• net/tests/arp_roundtrip.rs.html
• net/tests/net_udp_ipv4.rs.html
• pci/Cargo.toml.html
• pci/src/lib.rs.html
• pci/src/msix.rs.html
• rpi_boot/Cargo.toml.html
• rpi_boot/aarch64.lds.html
• rpi_boot/build.rs.html
• rpi_boot/config.txt.html
• rpi_boot/src/dtb.rs.html
• rpi_boot/src/handler.rs.html
• rpi_boot/src/main.rs.html
• rpi_boot/src/multicore.rs.html
• rpi_boot/src/pcie.rs.html
• rpi_boot/src/platform_irq.rs.html
• rpi_boot/src/vgic.rs.html
• rpi_boot/src/virtio_blk.rs.html
• run.sh.html
• run_rpi4.sh.html
• rust-toolchain.toml.html
• rustfmt.toml.html
• scripts/rpi5-hw/load-gdb.sh.html
• scripts/rpi5-hw/openocd-rpi5.cfg.html
• scripts/rpi5-hw/openocd.sh.html
• scripts/rpi5-hw/reboot-usb-hub.sh.html
• scripts/rpi5-hw/serial-login-test.sh.html
• scripts/run_uboot_qemu_test.sh.html
• scripts/x86_64/build-linux-uki.sh.html
• scripts/x86_64/decode-vmx-diagnostics.py.html
• scripts/x86_64/linux-l1-kvm-probe.c.html
• scripts/x86_64/linux-l2-kunit-cases.txt.html
• scripts/x86_64/run-linux-kunit-test.sh.html
• scripts/x86_64/run-linux-kvm-test.sh.html
• scripts/x86_64/run-linux-l2-os-test.sh.html
• scripts/x86_64/run-linux-selftest.sh.html
• scripts/x86_64/run-linux-soak-test.sh.html
• scripts/x86_64/run-linux-suspend-test.sh.html
• scripts/x86_64/run-uefi-smoke.sh.html
• scripts/x86_64/windows/Autounattend.xml.html
• scripts/x86_64/windows/direct-vmx-0x133-readonly.py.html
• scripts/x86_64/windows/windows-esp-offset.py.html
• scripts/x86_64/windows/windows-test.sh.html
• test.lds.html
• tools/export_branches.py.html
• tools/gdb/hyprprobe.py.html
• typestate/Cargo.toml.html
• typestate/src/atomic_raw.rs.html
• typestate/src/bitflags.rs.html
• typestate/src/endianness.rs.html
• typestate/src/lib.rs.html
• typestate/src/read_write.rs.html
• typestate/src/unaligned.rs.html
• typestate_macro/Cargo.toml.html
• typestate_macro/src/bitregs.rs.html
• typestate_macro/src/lib.rs.html
• u-boot/README.md.html
• u-boot/boot.txt.html
• u-boot/flake.lock.html
• u-boot/init.sh.html
• uefi_variable_overlay/Cargo.toml.html
• uefi_variable_overlay/src/lib.rs.html
• uefi_variable_overlay/tests/overlay.rs.html
• virtio/Cargo.toml.html
• virtio/src/device_type.rs.html
• virtio/src/lib.rs.html
• virtio/src/mmio.rs.html
• virtio/src/queue.rs.html
• x86_guest_uefi_test/Cargo.toml.html
• x86_guest_uefi_test/src/l1_extended.rs.html
• x86_guest_uefi_test/src/l1_fault.rs.html
• x86_guest_uefi_test/src/l1_memory.rs.html
• x86_guest_uefi_test/src/l1_xstate.rs.html
• x86_guest_uefi_test/src/main.rs.html
• x86_guest_uefi_test/src/msr_contract.rs.html
• x86_guest_uefi_test/src/nested_contract.rs.html
• x86_guest_uefi_test/src/physical_policy.rs.html
• x86_uefi_loader/Cargo.toml.html
• x86_uefi_loader/src/chainload.rs.html
• x86_uefi_loader/src/main.rs.html
• x86_uefi_loader/src/physical_chainload.rs.html
• x86_uefi_loader/src/physical_preflight.rs.html
• x86_uefi_loader/src/platform_acpi.rs.html
• x86_uefi_loader/src/platform_aml.rs.html
• x86_uefi_loader/src/platform_ept_audit.rs.html
• x86_uefi_loader/src/platform_pci.rs.html
• x86_uefi_loader/src/platform_resources.rs.html
• x86_uefi_loader/src/platform_snapshot.rs.html
• x86_uefi_loader/src/resident_image.rs.html
• x86_uefi_loader/src/runtime_variables.rs.html
• x86_uefi_loader/src/trusted_outer_kvm.rs.html
• x86_uefi_loader/src/vmx_smoke.rs.html
• xtask/Cargo.toml.html
• xtask/.cargo/config.toml.html
• xtask/build.rs.html
• xtask/src/main.rs.html
• xtest.txt.html