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
b44ebfb3b5be323b540f649ccf2a1a3a9ea6e6cc
vm.fail
Constrain register emulation with explicit architectural masks
2mo ago
b44ebfb3
el2_mmu.c
Constrain register emulation with explicit architectural masks
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
Record policy decision provenance in structured trap events
2 months ago
main.c
Use QEMU virt platform assumptions as explicit invariants
2 months ago
mmio_policy.c
Introduce MMIO region provenance labels for abort triage
2 months ago
monitor.c
Add monitor snapshot consistency checks for paused vCPUs
2 months ago
panic.c
Refine panic output with architectural register context
3 months ago
policy.c
Constrain register emulation with explicit architectural masks
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
Record policy decision provenance in structured trap events
2 months ago
vcpu.c
Instrument timer mediation paths for virtual counter drift
2 months ago