All pull requests

Pull requests

• Control the VM kernel from the host

  #1660·Sangho Lee (sangho2) opened Oct 17, 2026Contributor·

  ·
  1

• Copy I/O data directly between guest memory, shared buffers and broker storage

  #1659·Weidong Cui (wdcui) opened Oct 17, 2026Member·

  ·
  1

• ci: bump actions/setup-node from 7.0.0 to 7.1.0 in the github-actions group

  dependenciesgithub_actions
  #1658·dependabot[bot] opened Oct 17, 2026Bot·

  ·
  1

• Cherry pick #1566 Add support for symlink resolution

  #1657·Jay Bosamiya (Microsoft) (jaybosamiya-ms) opened Oct 17, 2026Member·

  ·
  1

• Add shared broker TTY support

  #1655·Weidong Cui (wdcui) opened Oct 17, 2026Member·

  ·
  1

• Support native host fork on Windows and Linux userland

  #1620·Weiteng Chen (CvvT) opened Oct 15, 2026Contributor·

  ·
  1

• Support tkill/tgkill to sibling threads

  #1613·Garine Sai Ajay (Acuity) (GarineSaiAjay) opened Oct 15, 2026·

  ·
  1

• Declare the Linux userland seccomp policy, and admit no host path opens

  #1561·Keith Adler (keithadler) opened Oct 9, 2026·

  ·
  1

• [ci] Update GitHub Actions to latest release

  #1551·Christoph Grüninger (gruenich) opened Oct 8, 2026·

  ·

• Return null instead of panicking for over-max-order allocations

  #1481·anying (anyingiit) opened Oct 2, 2026·2 of 3 tasks·

  ·
  1

  1

• litebox_runner_optee_on_linux_userland: Add multi instance TA test

  #1414·tgopinath-microsoft opened Sep 24, 2026Contributor·

  ·
  3

• Add futex wake-path store-buffering reproduction

  must-not-merge:prototype
  #1228·Weiteng Chen (CvvT) opened Aug 26, 2026Contributor·

  ·
  1

• [DRAFT] LVBS/OP-TEE: Fallible Box/Vec allocation

  must-not-merge:prototype
  #1212·Sangho Lee (sangho2) opened Aug 20, 2026Contributor·

  ·
  4

• Combine PRK and IDK_S generation VTL calls

  #1130·Angelina Vu (athvu) opened Aug 5, 2026Contributor·

  ·
  10

• add readme.md file in punjabi

  #1116·Aarif (Aarif-creator) opened Aug 3, 2026·

  ·
  2

• Add KeyStack PTA

  must-not-merge:undergoing-restructuring
  #1104·Sangho Lee (sangho2) opened Jul 29, 2026Contributor·

  ·
  8

• [DRAFT] Remove OP-TEE TA TLS allocation

  discussionmust-not-merge:prototype
  #1032·Sangho Lee (sangho2) opened Jul 16, 2026Contributor·

  ·
  1

• Enable x86_64 Linux stack guard for OP-TEE TAs

  discussionmust-not-merge:undergoing-restructuring
  #1003·Sangho Lee (sangho2) opened Jul 2, 2026Contributor·

  ·
  10

• Experiment with loom

  must-not-merge:prototype
  #820·Weiteng Chen (CvvT) opened Apr 30, 2026Contributor·

  ·
  3

• Map physical ringbuffer memory range in VTL1

  #808·karissanchez opened Apr 24, 2026Contributor·

  ·
  3

• Add freebsd userland platform

  must-not-merge:prototype
  #715·Weiteng Chen (CvvT) opened Mar 11, 2026Contributor·

  ·
  2

• Running windows programs under litebox on linux

  #712·Vadim Lebedev (Vadiml1024) opened Mar 11, 2026·

  ·
  1

• Parse attributes in extended VTL0 APIs

  #653·Femi Adeyemi (femiatl) opened Feb 9, 2026Contributor·

  ·
  25

  

• add a3-rust workflow to generate verification output from Halley Young's Rust checker

  #647·Nikolaj Bjorner (NikolajBjorner) opened Feb 7, 2026·

  ·
  1

• [EXPERIMENTAL] Proof-of-Concept Custom LiteBox Kernel on Asterinas OSTD

  must-not-merge:prototype
  #517·Jay Bosamiya (Microsoft) (jaybosamiya-ms) opened Nov 21, 2025Member·

  ·
  1