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
/
core
16 files
at
a4ced656f8e531a888e25b4c649264aed734ed3d
vm.fail
Instrument timer mediation paths for virtual counter drift
2mo ago
a4ced656
el2_mmu.c
Instrument timer mediation paths for virtual counter drift
2 months ago
fdt.c
Validate Linux boot argument synthesis against DTB capacity
2 months ago
guest_loader.c
Add deterministic FDT chosen node mutation auditing
2 months ago
image.c
Use explicit linker symbols for image boundary provenance
4 months ago
log.c
Add deterministic telemetry sequencing for trap replay analysis
2 months ago
main.c
Use QEMU virt platform assumptions as explicit invariants
2 months ago
mmio_policy.c
Normalise readonly device emulation semantics across probe paths
2 months ago
monitor.c
Initial commit
4 months ago
panic.c
Refine panic output with architectural register context
3 months ago
policy.c
Introduce policy lattice validation for privileged register classes
2 months ago
psci.c
Initial commit
4 months ago
selftest.c
Use QEMU virt platform assumptions as explicit invariants
2 months ago
string.c
Initial commit
4 months ago
sysreg.c
Add syndrome taxonomy for lower EL exception attribution
2 months ago
trap.c
Use EL2 memory ordering obligations for trap handlers
2 months ago
vcpu.c
Instrument timer mediation paths for virtual counter drift
2 months ago