HelenOS 0.4.3 is the latest public release of a research operating system based on the microkernel design principle.