cache coloring
Owner: sstabellini
Further defences for speculative sidechannels
Owner: andrewcoop
A new book on Xen?
Owner: wei
Build System Gripe Session
Owner: gwd
further x86 emulator additions and integration
Owner: jbeulich
Exposing hardware-backed CPU timers to limit overhead from Xen's software timers
Owner: thibodux
PCI passthrough discussion
Owner: royger
Building Stub Domains with Unikraft
Owner: felipehuici