Welcome the L4OpenBSD Project

Join me and welcome our sister project L4OpenBSD. L4OpenBSD is a port of the OpenBSD kernel to Fiasco.OC/L4Re. Currently it supports the 4.8 OpenBSD release on the i386 platform. According to the website, an ARM port is planned as well.