linux: finish the stack (#532 #535 #512 + install queue) - #559

Merged

senseix21 merged 24 commits into

mainfrom

integ/linux-finish

Sep 26, 2026

Commits on Sep 20, 2026

Commits on Sep 21, 2026

linux: record a signal disposition, and never claim to deliver one
eKisNonos
committed
23a1b4a
linux: sockets and poll, over the service that already has them
eKisNonos
committed
6b25519

Commits on Sep 24, 2026

Merge remote-tracking branch 'origin/main' into caps/one-list
senseix21
committed
597fd42
Merge remote-tracking branch 'origin/main' into caps/one-list
senseix21
committed
b497dc3
fix(caps): point the table's consumers at the one list
senseix21
committed
dec4381

Commits on Sep 26, 2026

Merge branch 'pr532' into integ/linux-finish
senseix21
committed
07b1735
Merge branch 'pr535' into integ/linux-finish
senseix21
committed
6812c2d
Merge branch 'pr512' into integ/linux-finish
senseix21
committed
771ff7e
feat(init): queue app installs for the linux installer
senseix21
committed
f9aa0e2
fix(process): restore release_new for the guest start path
senseix21
committed
5883548
fix(foreign): restore is_foreign for the park recheck
senseix21
committed
cd02d65
fix(abi): publish LocalSign and the MDRO cap row the table demands
senseix21
committed
c9798ad
fix(caps): mirror LocalSign in the userland cap tables
senseix21
committed
3200125
fix(syscall): name the syscall.S entry without the word stub
senseix21
committed
54ba011
fix(evidence): count the capsule_linux proof crate
senseix21
committed
a0c6100
process: one frame size for syscall.S, and refuse a truncated pid
eKisNonos
committed
de43688
fix(verification): regenerate the caps extraction for the one-list table
senseix21
committed
04a4ca6
fix(verification): prove the cap specs through bit_spec
senseix21
committed
1048746
Merge origin/main into integ/linux-finish
senseix21
committed
df3c93a
Merge linux/frame-words-pid-arg into integ/linux-finish
senseix21
committed
7544163