HelenOS: State of the Union 2012

FOSDEM 2014: Read-Copy-Update for HelenOS

FOSDEM 2013: Operating Systems Hot Topics

What Could Microkernels Learn from Monolithic Kernels (and Vice Versa)

Porting HelenOS to RISC-V

Code Instrumentation, Dynamic Tracing

IPC in Microkernel Systems, Capabilities

Unikernels, Multikernels, Virtual Machine-based Kernels