-
Notifications
You must be signed in to change notification settings - Fork 85
Pull requests: microsoft/litebox
Pull requests list
[DO NOT MERGE YET] Fixes to simplify VTL1 boot sequence
must-not-merge:blocked-on-other-changes
Other changes/PRs to be handled first. Label not needed for non-main changes.
#652
opened Feb 9, 2026 by
tgopinath-microsoft
Loading...
add a3-rust workflow to generate verification output from Halley Young's Rust checker
#647
opened Feb 7, 2026 by
NikolajBjorner
Loading...
Add support for OP-TEE key derivation
discussion
Open questions
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
Add tracing support
must-not-merge:undergoing-restructuring
Known deeper set of changes are happening on this PR before it is mergeable again
#558
opened Dec 16, 2025 by
jaybosamiya-ms
•
Draft
[EXPERIMENTAL] Proof-of-Concept Custom LiteBox Kernel on Asterinas OSTD
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
#517
opened Nov 21, 2025 by
jaybosamiya-ms
•
Draft
LiteBox kernel platform and machine runner
must-not-merge:undergoing-restructuring
Known deeper set of changes are happening on this PR before it is mergeable again
ProTip!
Follow long discussions with comments:>50.