Skip to content

Pull requests: microsoft/litebox

New pull request New
15 Open 515 Closed
15 Open 515 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 a3-rust workflow to generate verification output from Halley Young's Rust checker
#647 opened Feb 7, 2026 by NikolajBjorner Loading…
Add network worker for SNP
#645 opened Feb 6, 2026 by CvvT Loading…
1
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.
#643 opened Feb 5, 2026 by sangho2 • Draft
2
Add support for getpgrp/getpgid/setpgid/TIOCGPGRP/TIOCSPGRP
#640 opened Feb 4, 2026 by wdcui Loading…
9
mm: Add support for MAP_FIXED_NOREPLACE flag in mmap
#639 opened Feb 4, 2026 by wdcui Loading…
2
Remove section header insertion from syscall rewriter
#636 opened Feb 4, 2026 by wdcui Loading…
12
Add support for running multiple TA instances with page table isolation
#632 opened Feb 2, 2026 by sangho2 Loading…
89
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
1
4
[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
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 • Draft
37
Running python3 on Windows
#466 opened Nov 4, 2025 by CvvT • Draft
1
WIP: Verify kernel module
#430 opened Oct 16, 2025 by femiatl • Draft
1
Test multi layers with stdio
#378 opened Sep 23, 2025 by CvvT • Draft
1
Ignore MAP_SHARED
#377 opened Sep 23, 2025 by CvvT • Draft
2
Implement IPInterfaceProvider for WindowsUserland
#322 opened Sep 7, 2025 by Icegrave0391 • Draft
16
ProTip! Filter pull requests by the default branch with base:main.