alpha
Login
or
Join now
vm.fail
/
ariel
Star
1
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
Star
1
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
ariel
/
include
/
hv
30 files
at
a4ced656f8e531a888e25b4c649264aed734ed3d
vm.fail
Instrument timer mediation paths for virtual counter drift
2mo ago
a4ced656
allocator.h
Instrument timer mediation paths for virtual counter drift
2 months ago
arch.h
Use EL2 memory ordering obligations for trap handlers
2 months ago
boot_event.h
Introduce structured boot event emission for EL2 bringup
3 months ago
config.h
Initial commit
4 months ago
el2_mmu.h
Initial commit
4 months ago
fdt.h
Validate Linux boot argument synthesis against DTB capacity
2 months ago
gicv3.h
Initial commit
4 months ago
guest_loader.h
Initial commit
4 months ago
hvc_abi.h
Add diagnostic guest hypercall ABI definitions
3 months ago
image.h
Use explicit linker symbols for image boundary provenance
4 months ago
interval.h
Introduce freestanding address interval primitives for loader validation
4 months ago
log.h
Add deterministic telemetry sequencing for trap replay analysis
2 months ago
mmio.h
Initial commit
4 months ago
mmio_policy.h
Initial commit
4 months ago
monitor.h
Initial commit
4 months ago
panic.h
Refine panic output with architectural register context
3 months ago
platform.h
Use QEMU virt platform assumptions as explicit invariants
2 months ago
policy.h
Initial commit
4 months ago
psci.h
Initial commit
4 months ago
qemu_virt.h
Formalise guest memory topology constants for QEMU virt
3 months ago
ring.h
Use bounded ring buffer sequencing for trap telemetry
3 months ago
selftest.h
Initial commit
4 months ago
stage2.h
Initial commit
4 months ago
string.h
Initial commit
4 months ago
sysreg.h
Add syndrome taxonomy for lower EL exception attribution
2 months ago
timer.h
Initial commit
4 months ago
trap.h
Initial commit
4 months ago
types.h
Initial commit
4 months ago
uart.h
Normalise early UART output paths for deterministic boot logs
4 months ago
vcpu.h
Instrument timer mediation paths for virtual counter drift
2 months ago