luna — LKL on seL4（独立 task 隔离）

把 LKL (Linux Kernel Library) 作为 seL4 的纯用户态 Task跑起来，引导 Linux 内核， 并进入真正的 BusyBox ash 交互式 shell（操作 LKL 文件系统）。当前基线尚未接入 UINTR。

已验证：QEMU x86_64 上，seL4 启动 → root manager 创建具有独立 CSpace/VSpace 的 luna-lkl-task → child 独立引导 LKL（Linux 6.12.0+）→ 进入 BusyBox ash -i。shell builtin、 重定向和 nofork cat 经静态 ABI 跑在 child 内的 LKL 内核上，并可读取真实 /proc/meminfo。 child 同时通过了真实单调时钟、oneshot timer、LKL nanosleep、固定资源池、 故障诊断、销毁重建和无 fault 关机验证。Phase 2.2 又加入 manager 受控的可回收页映射、完整的 同步/TLS/thread/timer 生命周期语义和连续 100 次 child boot/halt/destroy 压力测试。Phase 2.3 又加入 manager 私有 backing 的 virtio-block、ext4 持久根文件系统和跨 100 次 child 重建的数据校验。 当前 backing 已进一步切换为 QEMU memory-backend-file 映射的宿主 ext4 文件，可跨整个 QEMU 进程重启保存数据。 Phase 2.4 又加入静态 host-program ABI，并从持久 rootfs 启动最小 BusyBox ash/cat，通过专用 program thread 执行、退出和 join。Phase 2.4.1 让真实交互式 ash 直接接管 LKL tty，并加入可回收 的 bounded heap、termios 与 LKL sleep shim。Phase 2.4.2 又让标准流 stdio 直接写 LKL fd，恢复 printf > file。Phase 2.4.3 扩展常用 nofork 文件 applet；Phase 2.4.4 又加入最多 4 个隔离静态 worker、2–4 段 pipeline、后台任务/wait 和 LKL-aware 任意文件 FILE* subset。Phase 2.5 又加入 manager-owned QEMU virtio-net、固定 IPv4、 外部 ICMP/TCP echo 与网络窗回收。 Phase 2.5.1 又将 RX 改为 receive-only Notification 异步唤醒，并加入 bounded queue 背压、丢包统计 和 64×1200-byte UDP burst 回归。Phase 2.5.2 又将 manager 持续 polling 改为 PCI INTx/IOAPIC IRQ delivery，并保留 kick-driven polling fallback。Phase 2.5.3 又加入 manager 私有 TX bounded queue、可重试背压和 2048 × 1200-byte 持续 UDP 完整性测试。当前扩展又加入 cmp/sort/grep/tee/dd/find/ls/cp/mv、 静态 runtime 负向/并发回归、socket/slirp/passt/TAP 可选后端，以及数据通路和资源 benchmark。 Phase 2.7 又加入 child 创建七阶段回滚审计、多 QEMU 稳定性/FSCK 驱动、性能硬门槛与 reference 对比、后端能力探测和失败 marker 快速终止。 Phase 2.8 又将 Block 改为 warm-up + 7 个稳态样本并定位旧双峰的首次调度/cache/journal 状态污染， 把 100 个 stress child 的 allocator 改为 36 页 light profile，以 semaphore 替换 Block 背压/完成/ flush 忙等待，在 virtio descriptor 层实现 16-packet INTx budget/coalescing，并把 BusyBox pipeline 批量提升到 64 KiB I/O 与 256 KiB pipe。 Phase 2.9 又把 37.5 MiB TX 与 3 秒持续 RX 纳入正式门槛，以 counting semaphore 替换 TX queue 热路径背压，将 5 ms 固定 coalescing 改为自适应 50–200 μs，并让 poll worker 成为 virtio-net driver 的唯一调用者。IRQ relay 只转发 Notification/ack，RX 使用 produced/consumed/waiting 握手避免丢失唤醒，timer 则改为 PIT one-shot Notification 并合并较晚 deadline；pending TX response 使用 5 ms bounded recheck 和单次 timeout retry，避免无后续 INTx 时永久停滞。 root manager 不再链接或运行 LKL。详见 PHASE2.9-RESULTS.md、 PHASE2.8-RESULTS.md、 PERFORMANCE-RESULTS.md、 PHASE2.7-RESULTS.md、 PHASE2.1-RESULTS.md 和 PHASE2.2-RESULTS.md、 PHASE2.3-RESULTS.md、 PHASE2.4-RESULTS.md、 PHASE2.4.1-RESULTS.md、 PHASE2.4.2-RESULTS.md、 PHASE2.4.3-RESULTS.md、 PHASE2.4.4-RESULTS.md、 PHASE2.6-RESULTS.md、 PHASE2.5-RESULTS.md 和 PHASE2.5.1-RESULTS.md、 PHASE2.5.2-RESULTS.md、 PHASE2.5.3-RESULTS.md 和 PHASE2.3.1-RESULTS.md。

关键结论（核对 lkl/linux 源码后）

• LKL 的 init 进程就是调用 lkl_start_kernel 的宿主线程（arch/lkl/kernel/setup.c:lkl_run_init binfmt 仅 sem_up(init_sem)+thread_exit()）。不需要 initramfs / virtio / 独立 ELF。 当前该宿主线程位于隔离的 luna-lkl-task，不是 root manager。
• API：lkl_init(&host_ops) + lkl_start_kernel("mem=16M ...")。
• liblkl.a 中只链接干净的内核对象 lkl.o（未定义符号仅 lkl_printf/lkl_bug，本仓提供）； 不链接 POSIX host 胶水 liblkl-in.o。
• 当前 LKL 是 NOMMU host-call 内核，elf_check_arch() 拒绝 ELF 且 start_thread() 为空。BusyBox 因此使用 Luna 静态 host-program ABI，而不是虚构为 LKL 内部的 Linux 用户进程。

目录结构

luna/
├── PHASE1-RESULTS.md            # Phase 1.1 历史结果
├── PHASE1.2-RESULTS.md          # 当前稳定性实现与验证
├── PHASE2.1-RESULTS.md          # 独立 task 隔离与渐进迁移记录
├── PHASE2.2-RESULTS.md          # 可回收页映射与 100 轮生命周期压力结果
├── PHASE2.3-RESULTS.md          # virtio-block、ext4 根与持久化结果
├── PHASE2.4-RESULTS.md          # 静态程序 ABI、BusyBox 与 spawn/wait 结果
├── PHASE2.4.1-RESULTS.md        # 可交互 ash、可回收 heap 与 tty/time shim
├── PHASE2.4.2-RESULTS.md        # LKL-aware stdout/stderr stdio subset
├── PHASE2.4.3-RESULTS.md        # nofork applet、LKL syscall 与 ramfs 删除语义
├── PHASE2.4.4-RESULTS.md        # 静态 worker、pipeline/background 与任意文件 stdio
├── PHASE2.6-RESULTS.md          # 扩展 applet、网络后端与 benchmark
├── PHASE2.7-RESULTS.md          # 回滚审计、稳定性门槛与多后端实测
├── PHASE2.8-RESULTS.md          # Block 稳态、allocator 分级、INTx budget 与 pipeline 批量化
├── PHASE2.9-RESULTS.md          # 网络热路径通知化、自适应批处理与 one-shot timer
├── PERFORMANCE-RESULTS.md       # 数据通路批处理、块 I/O 与生命周期优化
├── PHASE2.5-RESULTS.md          # virtio-net、IPv4、ICMP/TCP 与回收结果
├── PHASE2.5.1-RESULTS.md        # 异步 RX、背压、统计与 burst 压力结果
├── PHASE2.5.2-RESULTS.md        # virtio-net INTx/IOAPIC IRQ 与 polling fallback
├── PHASE2.5.3-RESULTS.md        # TX bounded queue、背压与持续吞吐结果
├── PHASE2.3.1-RESULTS.md        # 宿主文件 backing 与跨 QEMU 重启结果
├── next-plan.md                 # 下一阶段规划与验收门槛
├── DESIGN.md                    # 早期设计（部分假设已被 PHASE1-RESULTS 纠正）
├── README.md
├── EVIDENCE_sel4_helloworld_boot.txt   # seL4 基础链路证据
├── EVIDENCE_lkl_on_sel4_boot.txt       # LKL-on-seL4 启动证据
├── apps/lkl-root-task/
│   ├── CMakeLists.txt           # 分别构建 root manager 与 luna-lkl-task
│   ├── include/                 # child host 与 manager/child 控制协议
│   └── src/
│       ├── main.c               # manager bootstrap、TSC 校准与 child 生命周期
│       ├── isolation_manager.c  # child 装载、fault 诊断、销毁与重建
│       ├── isolation_child.c    # luna-lkl-task 入口与控制协议
│       ├── lkl_task_host.c      # child 内的 LKL host operations
│       ├── lkl_task_disk.c      # virtio-blk、mount/chroot 与设备生命周期
│       ├── isolation_net.c      # manager PCI/virtio ethdriver、DMA 与 bounded queue
│       ├── isolation_timer.c    # manager PIT one-shot IRQ 与 child wake Notification
│       ├── lkl_task_net.c       # child LKL virtio-net backend、IPv4 与网络 smoke
│       ├── lkl_task_user.c      # BusyBox 静态 ABI、LKL syscall shim 与 program launcher
│       └── shell.c              # 为 BusyBox 准备 LKL tty、/proc 与易失 /run
│   └── rootfs/                  # ext4 seed rootfs
├── build-artifacts/lkl-kernel.o # 从 liblkl.a 抽取的干净内核对象
├── setup-deps.sh                # 固定版本依赖拉取、补丁应用与环境检查
├── tools/smoke-test.sh          # 自动驱动 QEMU shell 的回归测试
├── tools/make-rootfs.sh         # 生成并 e2fsck 校验 ext4 镜像
├── tools/pack-rootfs.py         # Phase 2.3 历史稀疏 pack 工具
├── tools/build-busybox-object.sh # 构建并重定向最小 BusyBox 对象
├── tools/net-peer.py            # QEMU socket netdev 的外部 ARP/ICMP/TCP 对端
├── tools/net-service.py         # slirp/passt/TAP 的 host TCP/UDP 测试服务
├── tools/benchmark.py           # 数据通路、生命周期和资源 benchmark 汇总
├── tools/stability.py           # 多 QEMU 持久化、FSCK、基线和资源漂移回归
├── tools/network-backends.py    # QEMU/helper/TAP 后端能力探测
├── tools/quality-gate.sh        # 依赖、语法、单元测试及可选完整验收
├── tools/gcc-analyzer.py        # 对 Luna C translation units 运行 GCC -fanalyzer
└── deps/                        # seL4 manifest、lkl-linux 与 BusyBox
    └── lkl_settings.cmake       # 非-tutorial 的 seL4 构建设置（x86_64 pc99, debug putchar）

child host_ops 适配

LKL host op	seL4 后端
内存（mem/page/mmap/shmem）	child 位图分配器 + manager 按需 map/unmap；child 不持有 VKA/Untyped
线程	manager 预建的固定 TCB 池；唯一递增 tid、单 join claim、显式 exit 与安全 slot reuse
mutex/sem	原子计数 semaphore + Notification 唤醒；mutex 记录 owner/递归深度并拒绝非 owner 解锁
TLS	[slot][key] 表 + 最多 4 轮可重入 destructor（与可复用 slot 绑定，不复用公开 tid）
jmp_buf	musl setjmp/longjmp
timer/time	PIT 校准 TSC 单调时钟 + generation oneshot；cancel barrier 与 rearm 失效旧 deadline
block	LKL virtio-mmio/blk + 64KiB IPC 窗 + 8-batch semaphore queue；manager 独占 16MiB backing
static program	BusyBox ash + 4 个隔离 worker + 64KiB copy I/O + 256KiB LKL pipe + 1MiB bounded arena
network	manager 16-packet INTx budget/coalescing + polling fallback + bounded TX/RX queue + 68KiB 窗
console	输出走 seL4_DebugPutChar；输入只使用 0x3f8–0x3ff COM1 capability

复现

首次克隆后执行：

./setup-deps.sh
./run.sh --build-only
./tools/smoke-test.sh
./tools/smoke-test.sh --cross-qemu  # 两次 QEMU 共享临时 ext4 并验证持久标记
./tools/benchmark.py                 # 完整 QEMU 验收后输出 JSON benchmark
./tools/benchmark.py --check-baseline
./tools/stability.py --rounds 3 --timeout 600
./tools/quality-gate.sh               # 快速静态门槛
./tools/quality-gate.sh --analyze     # 构建并运行 GCC -fanalyzer
./tools/quality-gate.sh --smoke       # 跨 QEMU + benchmark 完整门槛

setup-deps.sh --check-only 可审计已有依赖。固定版本、Python 模块和手工命令见 DEPENDENCIES.md。构建和 QEMU 回归均可在本地完整复现。

run.sh 默认给 QEMU 配置 512MiB 内存，root allocman metadata pool 为 12MiB，以装载 child ELF、 重建 ext4 backing 并维护数千个 frame/mapping；QEMU 内存可通过 LUNA_QEMU_MEM 覆盖。 默认 smoke 包含 100 轮完整重启与 ext4 重挂载压力测试，超时上限为 480 秒。 run.sh 还会启动 localhost UDP Ethernet peer，并固定创建 BDF 00:05.0 的 legacy virtio-net-pci；不需要 root/TAP，也不依赖 QEMU slirp。

网络后端通过 --net-backend 或 LUNA_NET_BACKEND 选择：

./run.sh --net-backend socket       # 默认，确定性二层 peer
./run.sh --net-backend slirp        # 需要 QEMU libslirp user backend
./run.sh --net-backend passt        # 需要 QEMU passt backend 与 passt helper
LUNA_TAP_IFNAME=luna-tap0 ./run.sh --net-backend tap
./run.sh --print-net-config --net-backend passt
LUNA_QEMU=/usr/bin/qemu-system-x86_64 ./run.sh --net-backend slirp
./tools/network-backends.py

TAP 接口需由宿主预先创建并配置 10.0.2.2/24，并关闭该专用接口的 IPv6 与 multicast，避免 legacy INTx 中断风暴：

sudo ip tuntap add dev luna-tap0 mode tap user "$USER"
sudo ip addr add 10.0.2.2/24 dev luna-tap0
sudo ip link set luna-tap0 up
sudo sysctl -w net.ipv6.conf.luna-tap0.disable_ipv6=1
sudo ip link set dev luna-tap0 multicast off

slirp、passt 和 TAP 使用 tools/net-service.py 提供与默认回归等价的 TCP echo、RX burst 和 TX 完整性确认。 老版本 passt 不一定对映射 gateway 提供 ICMP echo；此时回归要求明确的 LUNA_NETWORK_ICMP_UNAVAILABLE，但仍强制通过 TCP、双向 UDP 和完整性压力测试。socket、slirp 和 TAP 仍强制要求 ICMP 成功。

交互 shell 用法（经 LKL 虚拟串口 /dev/ttyLKL0）

./run.sh --no-timeout        # 交互模式（不超时），等 "luna-ash# " 提示符后键入命令

LKL 内置一个虚拟串口驱动 arch/lkl/kernel/lkl_tty.c（/dev/ttyLKL0，major 240）：

• 输出：tty write → lkl_ops->print → seL4_DebugPutChar。
• 输入：seL4 侧独立线程轮询 COM1 → 填 SPSC 环 → lkl_trigger_irq() 注入 IRQ → LKL IRQ handler 从环取字符 push 进 tty flip 缓冲；n_tty ldisc 自动回显 + 行编辑。
• BusyBox ash -i 经静态 ABI 的 read/write/ioctl 走该 tty（fd 0/1/2 由 child 打开 /dev/ttyLKL0 设置）。

当前可用核心功能包括变量、条件、循环、函数、重定向，以及 cd、pwd、echo、printf、 test、sleep、help、exit 等 ash builtin 和 nofork cat、mkdir、rmdir、unlink、 truncate、basename、dirname、printenv、uname、touch、ln、readlink、realpath、 head、wc、cut、uniq、cmp、sort、grep、tee、dd、find、ls、cp、mv、 true、false、fsync、sync。例如：

echo hello > /tmp/x
printf 'value=%d\n' 7 >> /tmp/x
test -f /tmp/x && cat /tmp/x
fsync /tmp/x
sync
for x in one two three; do echo "$x"; done
printf 'alpha\nbeta\n' | cat
echo three-stage | cat | cat
echo background & wait
head -n 1 /tmp/x
cat /proc/meminfo

clean child 已 chroot 到持久 ext4 根。作业控制仍关闭，但受控静态 runtime 支持 2–4 段 pipeline、 单 applet 后台任务和 wait。每个 worker 有独立 BusyBox libbb 全局状态和虚拟 fd 0/1/2；共享 heap 加锁。LKL-aware FILE* subset 支持 fopen/fdopen/fclose、逐字符与块读写、EOF/error、单字符 ungetc 和 seek/tell。native ELF fork/exec 仍不属于该 NOMMU LKL arch 的能力边界。

注：run.sh 先生成 LKL 构建配置，再只构建 tools/lkl/liblkl.a（含 lkl_tty 驱动）并重新 抽取 lkl.o，不链接 luna 不需要的 LKL 测试程序和 hijack 库。BusyBox 构建 ash、相关 builtin 与受支持 nofork applet 的 relocatable host-program 对象，不使用 LD_PRELOAD hijack。 exit 会停止 child 控制台输入并执行 lkl_sys_halt()；manager 随后删除 child CSpace 中的派生 capability、销毁 child 资源，打印 LUNA_SHUTDOWN_OK。交互模式下用 Ctrl-A X 退出 QEMU。

clean child 在开放交互 shell 前用独立 program thread 执行 busybox cat /tmp/x 验证 applet spawn/join；随后 ash -i +m 成为该 child 唯一的 ash 实例。自动回归再通过交互输入验证重定向、 条件执行、sleep、持久 rootfs 和 /proc。

状态

Phase 2.1 已完成。thread、sem/mutex、TLS、memory、time、oneshot timer、tty 和 shell host 能力均在 child。当前 manager 为每个 child 预建 50 个 TCB（47 个 LKL slot、timer、console 和初始 TCB）与 146 个 Notification（49 个 join、96 个同步 slot 和 receive-only RX），并只授予 child 0x3f8–0x3ff 的 COM1 I/O-port capability。clean child 使用 mem=16M 启动内核，自动 smoke 的所有命令都在其独立 VSpace 内执行；fault child 对 manager 动态映射在 0x40000000 的私有 probe 访问会产生预期 VMFault，销毁后 replacement child 仍能完整 boot、交互和 halt。root ELF 不含 LKL 符号，只保留资源分配、TSC 校准、fault 诊断 和生命周期管理。

Phase 2.2 的内存与重启部分也已完成。child 在 0x20000000 保留 32MiB 虚拟 arena，但物理页只在 host operation 请求时由 manager 映射，释放时立即 unmap 并归还 VKA。child ELF 不再携带 32MiB BSS heap；allocator 自测覆盖全 arena、释放复用和清零，manager 在每次 halt 后断言映射页计数为 0， 并连续完成 100 轮 LKL 启动/关闭/销毁。

Phase 2.2 已完整完成。semaphore 保存真实 token 计数并支持多个阻塞 waiter，mutex 拒绝非 owner 解锁并验证 recursive depth；TLS destructor 在重新设置 key 时最多重试 4 轮。thread 使用唯一 tid、 单 join claim 和 table lock 防止 slot reuse ABA；timer 使用 generation、cancel barrier 和 callback/free 排序保证 rearm 后旧 deadline 不触发、free 返回后旧 callback 不再执行。以上自测在每个 stress child 中执行，最终 100 轮 QEMU smoke 全部通过。

Phase 2.3 已完成。LKL 通过 virtio-mmio 探测 vda，manager 只向 child 映射 64KiB 传输窗，完整 16MiB backing 和 frame cap 留在 manager。fault child 写入的 ext4 marker 经 100 个 stress child 的 完整 boot/mount/unmount/halt/destroy 后仍可读取，最终 clean shell 以该 ext4 为 /。构建阶段生成 固定 rootfs 并运行 e2fsck -fn；运行时由 QEMU 将宿主 ext4 文件通过 ivshmem 映射给 manager， 不再把 16MiB backing 或稀疏 pack 嵌入 root ELF。child 仍只能访问 64KiB 传输窗。

Phase 2.4 已完成。持久 rootfs 中的 /bin/busybox 选择静态 ABI v1，child 通过 BusyBox lbb_main() 运行最小 ash、builtin echo 与 nofork cat。program thread 使用固定 TCB pool，退出后完成 join、 TLS cleanup 和 slot reuse；自动测试验证 /tmp/x 内容为 ok\n。native fork/exec 在 LKL NOMMU arch 中不可用并被 shim 显式拒绝，完整边界见 PHASE2.4-RESULTS.md。

Phase 2.4.1 已完成。BusyBox ash -i 直接接管 /dev/ttyLKL0；静态 ABI 的 tty、termios 与 sleep 调用进入 LKL。1MiB arena 支持 free/coalesce/realloc 并在启动前自测，旧 Luna 命令解释器已经删除。 完整结果见 PHASE2.4.1-RESULTS.md。

Phase 2.4.2 已完成。BusyBox 标准流 printf/fprintf/puts/putchar 经内存格式化后写入 LKL fd 1/2， 自动回归验证 printf > file 后由 cat 读回。任意 fopen(FILE*) 流仍被显式拒绝。完整结果见 PHASE2.4.2-RESULTS.md。

Phase 2.4.3 已完成。BusyBox 新增 8 个原生 nofork applet，并将目录、权限、截断和 uname 调用转入 LKL。自动回归在持久 ext4 上验证创建和截断，在易失 ramfs /run 上验证 unlink/rmdir，避免未卸载 ext4 的 orphan inode 污染宿主 FSCK。完整结果见 PHASE2.4.3-RESULTS.md。

Phase 2.4.4 已完成。4 份符号隔离的 BusyBox worker object 提供受控静态外部 applet 执行，支持 2–4 段 pipe、后台 spawn、SIGCHLD 通知和 waitpid 回收；每个 worker 使用独立虚拟标准 fd 与 libbb 全局状态。任意文件 FILE* subset 已进入 LKL fd 路径，自动验证 head/wc/cut/uniq、二段与 三段 pipeline、末段退出状态和后台 wait。完整边界见 PHASE2.4.4-RESULTS.md。

后续扩展已完成。新增九类常用文件/文本 applet、LKL 目录流与补充 syscall ABI；不存在命令、 不支持/超长 pipeline 和 worker 槽耗尽均返回确定状态且保持 forbidden=0，4 个并发后台 job 可被 wait 回收。网络支持 socket/slirp/passt/TAP 可选后端，并输出 pipeline、网络、块设备、100 轮 生命周期和 heap/frame/TCB/Notification 峰值 benchmark。完整结果见 PHASE2.6-RESULTS.md。

Phase 2.7 已完成。manager 在真正启动 child 前对 process、heap reservation、disk/network window、 TCB/Notification pool 和控制 cap 七个阶段逐一注入回滚，随后仍通过正式 100 轮生命周期。稳定性工具 用同一 ext4 backing 运行多个独立 QEMU，每轮执行 FSCK、性能硬门槛和 capability/resource 等值检查； socket、slirp、passt 和 TAP 的实际结果与宿主条件见 PHASE2.7-RESULTS.md。

Phase 2.8 已完成。Block benchmark 使用一次 warm-up 和 7 个 cache-normalized 正式样本，输出完整 p50/p95/p99 与 queue/worker/IPC/copy/flush 分段；100 个 stress child 使用 36 页 light allocator， 首尾 audit child 仍完整触碰 8192 页。Block 数据通路的 queue/completion/flush 已由现有同步池中的 semaphore 唤醒；virtio legacy INTx 在 descriptor 层限制为每次 16 个 packet 并由 poll worker 合并 余量；BusyBox pipeline 使用 64KiB copy buffer 和 256KiB pipe。完整证据见 PHASE2.8-RESULTS.md。

Phase 2.5 已完成。manager 独占 QEMU virtio-net-pci 的 PCI I/O 与 DMA，child 只映射独立 TX/RX 两页网络窗并通过受控 Endpoint 收发。LKL 配置 10.0.2.15/24，自动测试跨 QEMU socket backend 与独立 host peer 完成 ARP、ICMP echo 和 TCP payload echo；100 轮 child 重建继续验证网络 frame cap 和 mapping 回收。完整边界见 PHASE2.5-RESULTS.md。

Phase 2.5.1 已完成。manager 的独立 RX thread 是 ethdriver raw_poll() 的唯一调用者；child LKL poll thread 无包时阻塞在 receive-only Notification，不再循环发送 Endpoint 请求。32-entry bounded queue 记录 high-water、backpressure、drop 和 empty-fetch，自动测试通过 64 个 1200-byte UDP packet 制造慢消费者并验证队列恢复。完整结果见 PHASE2.5.1-RESULTS.md。

Phase 2.5.2 已完成。manager 从 PCI 配置空间读取 legacy interrupt line，注册 level-triggered、 active-low IOAPIC capability，并由独立 IRQ thread 调用 ethdriver raw_handleIRQ()。QEMU 回归观察到 真实 RX/TX interrupt，连续 fallback poll 计数为 0；IRQ 不可用或 wait/ack 失败时切换到 polling。 完整结果见 PHASE2.5.2-RESULTS.md。

Phase 2.5.3 已完成。manager 在单页 TX window 与私有 DMA 之间增加 16-entry SPSC queue；队列满时 返回可重试背压而不丢包。自动测试发送 2048 个 1200-byte UDP packet，验证队列达到 15 的满水位、 出现背压且对端收到全部数据。完整结果见 PHASE2.5.3-RESULTS.md。

当前限制包括：小于一页的 host allocation 仍按页计费、host-file backing 固定为 16MiB 且依赖 QEMU ivshmem、静态 runtime 最多 4 个 worker 且不支持通用 native fork/exec、virtio-net 仍是单队列 budgeted legacy INTx，数据仍经过 child queue、共享窗口、manager queue 和 DMA buffer 多次复制。 socket 默认后端是确定性的 localhost 二层 peer；slirp/passt/TAP 是否可访问外网取决于 宿主 QEMU 构建、helper、接口和防火墙配置。 后续工作见 next-plan.md。