-
Notifications
You must be signed in to change notification settings - Fork 125
Pull requests: microsoft/litebox
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
KMPP TA SVN key stack
discussion
Open questions
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
Add supports for generating identity signing key (IDK_S)
discussion
Open questions
#828
opened May 4, 2026 by
sangho2
Contributor
Loading…
Physical memory range ownership for safe memory API
must-not-merge:blocked-on-other-changes
Other changes/PRs to be handled first. Label not needed for non-main changes.
#824
opened May 1, 2026 by
sangho2
Contributor
Loading…
Experiment with loom
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
Minimal multi-process support (fork/exec/waitpid/pipe)
expmt:shadow-kiln
Tag to quickly find the different PRs as part of the "shadow kiln" experiment.
Use checked arithmetic against TA/ldelf-controllable integers
#814
opened Apr 25, 2026 by
sangho2
Contributor
Loading…
Map physical ringbuffer memory range in VTL1
#808
opened Apr 24, 2026 by
karissanchez
Contributor
Loading…
Add arch-specific provider; remove PunchthroughProvider
#806
opened Apr 24, 2026 by
jaybosamiya-ms
Member
Loading…
Add freebsd userland platform
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
Fix integer overflow panics on guest-derived usize arithmetic (#3)
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
add a3-rust workflow to generate verification output from Halley Young's Rust checker
#647
opened Feb 7, 2026 by
NikolajBjorner
Loading…
[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
Member
•
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
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.