Software-based Memory Protection On Osek/vdx by Michael Stilkerich