Skip to content

Pull requests: microsoft/litebox

New pull request New
29 Open 660 Closed
29 Open 660 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add syscall pause
#855 opened May 19, 2026 by CvvT Contributor Loading…
1
Add syscall shutdown for unix sockets
#854 opened May 19, 2026 by CvvT Contributor Loading…
2
Fix potential use-after-unmap due to stale TLB
#848 opened May 15, 2026 by sangho2 Contributor Loading…
2
Fix kernel module validation bugs
#847 opened May 15, 2026 by sangho2 Contributor Loading…
2
Harden physical-page linked-list traversal (LVBS/OP-TEE)
#837 opened May 7, 2026 by sangho2 Contributor Loading…
4
Revise OP-TEE ShmInfo to ensure byte-length bound check
#836 opened May 7, 2026 by sangho2 Contributor Loading…
2
Fix 9p client
#835 opened May 7, 2026 by CvvT Contributor Loading…
4
Harden OP-TEE-driven memory allocation and transfer
#833 opened May 6, 2026 by sangho2 Contributor Loading…
2
KMPP TA SVN key stack discussion Open questions must-not-merge:prototype An experimental/proof-of-concept PR that must not be merged.
#831 opened May 5, 2026 by sangho2 Contributor • Draft
1
Add supports for generating identity signing key (IDK_S) discussion Open questions
#828 opened May 4, 2026 by sangho2 Contributor Loading…
7
Add CSPRNG to LVBS platform
#825 opened May 2, 2026 by sangho2 Contributor Loading…
3
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…
1
Experiment with loom must-not-merge:prototype An experimental/proof-of-concept PR that must not be merged.
#820 opened Apr 30, 2026 by CvvT Contributor • Draft
3
Use physical pointer abstraction in LVBS
#817 opened Apr 28, 2026 by sangho2 Contributor Loading…
5
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.
#816 opened Apr 26, 2026 by wdcui Member • Draft
1
Use checked arithmetic against TA/ldelf-controllable integers
#814 opened Apr 25, 2026 by sangho2 Contributor Loading…
1
Map physical ringbuffer memory range in VTL1
#808 opened Apr 24, 2026 by karissanchez Contributor Loading…
2
Add arch-specific provider; remove PunchthroughProvider
#806 opened Apr 24, 2026 by jaybosamiya-ms Member Loading…
12
Add freebsd userland platform must-not-merge:prototype An experimental/proof-of-concept PR that must not be merged.
#715 opened Mar 11, 2026 by CvvT Contributor • Draft
1
Running windows programs under litebox on linux
#712 opened Mar 11, 2026 by Vadiml1024 Loading…
1
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.
#678 opened Feb 23, 2026 by CvvT Contributor • Draft
2
Parse attributes in extended VTL0 APIs
#653 opened Feb 9, 2026 by femiatl Contributor Loading…
@femiatl
25
add a3-rust workflow to generate verification output from Halley Young's Rust checker
#647 opened Feb 7, 2026 by NikolajBjorner Loading…
1
[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
1
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
#491 opened Nov 13, 2025 by sangho2 Contributor • Draft
37
ProTip! Mix and match filters to narrow down what you’re looking for.