-
Notifications
You must be signed in to change notification settings - Fork 126
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…
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.