The ExpressOS kernel