l4h v2026.11.9

What's Changed

• tests: build the fuzzers against the l4h-host crate by @losfair in #112
• seL4: fix VCPU issues an eighth audit of patches 0039-0043 found by @losfair in #113
• seL4: fix VCPU issues a ninth audit of patches 0039-0043 found by @losfair in #114

Full Changelog: v2026.11.8...v2026.11.9

l4h v2026.11.8

What's Changed

• seL4: fix VCPU issues a fourth audit of patches 0039-0043 found by @losfair in #105
• seL4: fix VCPU issues a fifth audit of patches 0039-0043 found by @losfair in #106
• seL4: fix VCPU and upstream x86_64 virtualization bugs; support only 64-bit platforms by @losfair in #108
• seL4: fix VCPU issues a sixth audit of patches 0039-0043 found by @losfair in #109
• tests: vtxprobe no longer checks that WBINVD exiting stays on by @losfair in #110
• Declare every IPC path as a checked protocol over one transport by @losfair in #107
• seL4: fix VCPU issues a seventh audit of patches 0039-0043 found by @losfair in #111

Full Changelog: v2026.11.7...v2026.11.8

l4h v2026.11.7

What's Changed

• seL4: fix VCPU issues an audit of patches 0039-0043 found by @losfair in #101
• seL4: fix VCPU issues a second audit of patches 0039-0043 found by @losfair in #102
• l4h-host: checksum ring records against a stale writer's store by @losfair in #103
• seL4: fix VCPU issues a third audit of patches 0039-0043 found by @losfair in #104

Full Changelog: v2026.11.6...v2026.11.7

l4h v2026.11.6

What's Changed

• seL4: VT-x guest accesses to CR8 always exit by @losfair in #100

Full Changelog: v2026.11.5...v2026.11.6

l4h v2026.11.5

What's Changed

• seL4: stop VT-x guests turning off the core's caches (upstream #1847) by @losfair in #92
• seL4 SVM: MSR invocations without 64-bit guests, FS/GS cache after VM exit by @losfair in #96
• seL4 SVM: build on uniprocessor kernels by @losfair in #97
• seL4: guests set only the CR4 bits on an allowlist by @losfair in #95
• tests: kvmtest's NMI single-step VM sets IF with its STI shadow by @losfair in #98
• root: never wait for blkd or netd by @losfair in #91
• feat(net): preserve TCP GSO across RAM links by @darkskygit in #99
• usbd: whole xHCI controller assignment to guests, safe without an IOMMU (#87) by @losfair in #89

Full Changelog: v2026.11.4...v2026.11.5

l4h v2026.11.4

What's Changed

• Bump the guest kernel to Linux 6.18.62 by @losfair-bot in #86
• seL4: build with VT-x by default; boot without it on CPUs that lack it by @losfair in #85
• KVM inside guests on VT-x hosts by @losfair in #88
• KVM inside guests on AMD-V hosts by @losfair in #90

New Contributors

• @losfair-bot made their first contribution in #86

Full Changelog: v2026.11.3...v2026.11.4

l4h v2026.11.3

What's Changed

• refactor(blk): batch submissions and completion notifications by @darkskygit in #83
• Print host output through l4h-logd, the single serial writer by @losfair in #82

Full Changelog: v2026.11.2...v2026.11.3

l4h v2026.11.2

Full Changelog: v2026.10.68...v2026.11.2

l4h v2026.10.68

What's Changed

• Reject empty extent attachments and overflowing LVM mappings by @losfair in #80

Full Changelog: v2026.10.67...v2026.10.68

l4h v2026.10.67

What's Changed

• x86_64 multikernel: several seL4 partitions on one machine by @losfair in #78
• l4hctl: validate multikernel hosts without ECAM by @losfair in #79
• LVM-compatible extent volumes as guest disks by @losfair in #57

Full Changelog: v2026.10.66...v2026.10.67