HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch. See http://helenos.org. Download HelenOS 0.12.1 from http://www.helenos.org/wiki/Download#HelenOS0.12.1. IRC logs can be found at http://irc.helenos.org.