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
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
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