-
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
broker design/poc
discussion
Open questions
expmt:ulitebox
uLiteBox experiment
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
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
#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.
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!
Add no:assignee to see everything that’s not assigned.