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
Commits
Author
Commit
Message
Date
vm.fail
2528ecff
Trigger repository language reindex
master
17hrs ago
vm.fail
b1254385
Use EL2 exception telemetry to expose guest trap behaviour through the UART monitor
2mo ago
vm.fail
40e7271a
Add canonical IPA interval validation for monitor memory access
2mo ago
vm.fail
c2e26309
Normalise guest abort recovery through stage two fault intents
2mo ago
vm.fail
b44ebfb3
Constrain register emulation with explicit architectural masks
2mo ago
vm.fail
2973835d
Introduce MMIO region provenance labels for abort triage
2mo ago
vm.fail
84037897
Add monitor snapshot consistency checks for paused vCPUs
2mo ago
vm.fail
1e87d50c
Record policy decision provenance in structured trap events
2mo ago
vm.fail
a4ced656
Instrument timer mediation paths for virtual counter drift
2mo ago
vm.fail
8206b8fd
Refine GIC virtual interrupt state reconciliation
2mo ago
vm.fail
f74abf85
Use QEMU virt platform assumptions as explicit invariants
2mo ago
vm.fail
7bda35e6
Use EL2 memory ordering obligations for trap handlers
2mo ago
vm.fail
ee9057a9
Add host side decoder coverage for structured event streams
2mo ago
vm.fail
55f61c87
Verify release artefact topology against expected build products
2mo ago
vm.fail
0061aeee
Normalise readonly device emulation semantics across probe paths
2mo ago
vm.fail
a8b8f2ca
Use translation table alignment invariants at runtime
2mo ago
vm.fail
21d3db6e
Add allocator ownership assertions for stage two table pages
2mo ago
vm.fail
8075b7d9
Add deterministic FDT chosen node mutation auditing
2mo ago
vm.fail
8a27d9d2
Validate Linux boot argument synthesis against DTB capacity
2mo ago
vm.fail
eb9c0745
Harden EL1 context serialisation across vCPU exits
2mo ago
vm.fail
616d8df5
Add deterministic telemetry sequencing for trap replay analysis
2mo ago
vm.fail
e1ec3739
Introduce policy lattice validation for privileged register classes
2mo ago
vm.fail
1bb0138e
Add syndrome taxonomy for lower EL exception attribution
2mo ago
vm.fail
30eb336b
Formalise EL2 vector provenance checks during early bringup
2mo ago
vm.fail
59dd8fec
Validate release topology before archive materialisation
3mo ago
vm.fail
fdfc52d3
Use bounded ring buffer sequencing for trap telemetry
3mo ago
vm.fail
8d052aab
Introduce system register key canonicalisation helpers
3mo ago
vm.fail
87e8b7bc
Normalise HVC dispatch through explicit operation classes
3mo ago
vm.fail
624bb17a
Add diagnostic guest hypercall ABI definitions
3mo ago
vm.fail
44e02bcc
Refine panic output with architectural register context
3mo ago
vm.fail
a6939ddb
Introduce structured boot event emission for EL2 bringup
3mo ago
vm.fail
b0a7b9c7
Add stage two table arena initialisation invariants
3mo ago
vm.fail
3e2bba30
Formalise guest memory topology constants for QEMU virt
3mo ago
vm.fail
86877a29
Use explicit linker symbols for image boundary provenance
4mo ago
vm.fail
6ae9428d
Normalise early UART output paths for deterministic boot logs
4mo ago
vm.fail
094a91b3
Add host coverage for checked arithmetic edge cases
4mo ago
vm.fail
cf678a42
Introduce freestanding address interval primitives for loader validation
4mo ago
vm.fail
eabe8fa2
Initial commit
4mo ago
Trigger repository language reindex
master
2528ecff
vm.fail
17hrs
Use EL2 exception telemetry to expose guest trap behaviour through the UART monitor
b1254385
vm.fail
2mo
Add canonical IPA interval validation for monitor memory access
40e7271a
vm.fail
2mo
Normalise guest abort recovery through stage two fault intents
c2e26309
vm.fail
2mo
Constrain register emulation with explicit architectural masks
b44ebfb3
vm.fail
2mo
Introduce MMIO region provenance labels for abort triage
2973835d
vm.fail
2mo
Add monitor snapshot consistency checks for paused vCPUs
84037897
vm.fail
2mo
Record policy decision provenance in structured trap events
1e87d50c
vm.fail
2mo
Instrument timer mediation paths for virtual counter drift
a4ced656
vm.fail
2mo
Refine GIC virtual interrupt state reconciliation
8206b8fd
vm.fail
2mo
Use QEMU virt platform assumptions as explicit invariants
f74abf85
vm.fail
2mo
Use EL2 memory ordering obligations for trap handlers
7bda35e6
vm.fail
2mo
Add host side decoder coverage for structured event streams
ee9057a9
vm.fail
2mo
Verify release artefact topology against expected build products
55f61c87
vm.fail
2mo
Normalise readonly device emulation semantics across probe paths
0061aeee
vm.fail
2mo
Use translation table alignment invariants at runtime
a8b8f2ca
vm.fail
2mo
Add allocator ownership assertions for stage two table pages
21d3db6e
vm.fail
2mo
Add deterministic FDT chosen node mutation auditing
8075b7d9
vm.fail
2mo
Validate Linux boot argument synthesis against DTB capacity
8a27d9d2
vm.fail
2mo
Harden EL1 context serialisation across vCPU exits
eb9c0745
vm.fail
2mo
Add deterministic telemetry sequencing for trap replay analysis
616d8df5
vm.fail
2mo
Introduce policy lattice validation for privileged register classes
e1ec3739
vm.fail
2mo
Add syndrome taxonomy for lower EL exception attribution
1bb0138e
vm.fail
2mo
Formalise EL2 vector provenance checks during early bringup
30eb336b
vm.fail
2mo
Validate release topology before archive materialisation
59dd8fec
vm.fail
3mo
Use bounded ring buffer sequencing for trap telemetry
fdfc52d3
vm.fail
3mo
Introduce system register key canonicalisation helpers
8d052aab
vm.fail
3mo
Normalise HVC dispatch through explicit operation classes
87e8b7bc
vm.fail
3mo
Add diagnostic guest hypercall ABI definitions
624bb17a
vm.fail
3mo
Refine panic output with architectural register context
44e02bcc
vm.fail
3mo
Introduce structured boot event emission for EL2 bringup
a6939ddb
vm.fail
3mo
Add stage two table arena initialisation invariants
b0a7b9c7
vm.fail
3mo
Formalise guest memory topology constants for QEMU virt
3e2bba30
vm.fail
3mo
Use explicit linker symbols for image boundary provenance
86877a29
vm.fail
4mo
Normalise early UART output paths for deterministic boot logs
6ae9428d
vm.fail
4mo
Add host coverage for checked arithmetic edge cases
094a91b3
vm.fail
4mo
Introduce freestanding address interval primitives for loader validation
cf678a42
vm.fail
4mo
Initial commit
eabe8fa2
vm.fail
4mo
vm.fail