-
Notifications
You must be signed in to change notification settings - Fork 138
Pull requests: microsoft/litebox
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Pin GitHub Actions to full-length commit SHAs
#1192
opened Aug 18, 2026 by
Dan Fiedler (danfiedler-msft)
Loading…
Restrict exception fixups to synchronous faults
#1191
opened Aug 18, 2026 by
Sangho Lee (sangho2)
Contributor
Loading…
Extract UDP native endpoint route slots
#1190
opened Aug 18, 2026 by
Weidong Cui (wdcui)
Member
Loading…
Fix socketpair fd-table race when the table is full
#1187
opened Aug 17, 2026 by
Weiteng Chen (CvvT)
Contributor
•
Draft
Fix races in Linux file descriptor duplication
#1181
opened Aug 17, 2026 by
Weiteng Chen (CvvT)
Contributor
Loading…
Add AArch64 x18 virtualization for Linux guests
#1178
opened Aug 17, 2026 by
Sangho Lee (sangho2)
Contributor
Loading…
litebox_shim_linux: fix race in prepare_for_exit child TID write
#1155
opened Aug 10, 2026 by
Leon Schuermann (lschuermann)
Contributor
Loading…
Combine PRK and IDK_S generation VTL calls
#1130
opened Aug 5, 2026 by
Angelina Vu (athvu)
Contributor
Loading…
Remove platform singletons from the LVBS platform and OP-TEE shim
must-not-merge:blocked-on-other-changes
Other changes/PRs to be handled first. Label not needed for non-main changes.
#1127
opened Aug 5, 2026 by
Sangho Lee (sangho2)
Contributor
Loading…
Add brokered timerfd support to ulitebox
#1125
opened Aug 5, 2026 by
Will Portnoy (willportnoy)
Member
Loading…
Add KeyStack PTA
must-not-merge:blocked-on-other-changes
Other changes/PRs to be handled first. Label not needed for non-main changes.
#1104
opened Jul 29, 2026 by
Sangho Lee (sangho2)
Contributor
Loading…
[DRAFT] Remove OP-TEE TA TLS allocation
discussion
Open questions
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
#1032
opened Jul 16, 2026 by
Sangho Lee (sangho2)
Contributor
•
Draft
Add IDK_S PTA
discussion
Open questions
#1026
opened Jul 13, 2026 by
Sangho Lee (sangho2)
Contributor
Loading…
litebox/tls: don't re-tag pointer as unique while aliased
#1010
opened Jul 7, 2026 by
Leon Schuermann (lschuermann)
Contributor
Loading…
Enable Open questions
must-not-merge:undergoing-restructuring
Known deeper set of changes are happening on this PR before it is mergeable again
x86_64 Linux stack guard for OP-TEE TAs
discussion
#1003
opened Jul 2, 2026 by
Sangho Lee (sangho2)
Contributor
•
Draft
Experiment with loom
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
#820
opened Apr 30, 2026 by
Weiteng Chen (CvvT)
Contributor
•
Draft
Map physical ringbuffer memory range in VTL1
#808
opened Apr 24, 2026 by
karissanchez
Contributor
Loading…
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
Weiteng Chen (CvvT)
Contributor
•
Draft
Running windows programs under litebox on linux
#712
opened Mar 11, 2026 by
Vadim Lebedev (Vadiml1024)
Loading…
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
Weiteng Chen (CvvT)
Contributor
•
Draft
Parse attributes in extended VTL0 APIs
#653
opened Feb 9, 2026 by
Femi Adeyemi (femiatl)
Contributor
Loading…
add a3-rust workflow to generate verification output from Halley Young's Rust checker
#647
opened Feb 7, 2026 by
Nikolaj Bjorner (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
Jay Bosamiya (Microsoft) (jaybosamiya-ms)
Member
•
Draft
LiteBox kernel platform and machine runner
must-not-merge:prototype
An experimental/proof-of-concept PR that must not be merged.
#491
opened Nov 13, 2025 by
Sangho Lee (sangho2)
Contributor
•
Draft
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.