obsolete, use https://github.com/GaloisInc/rustwall instead (either "no_std" or "seL4" branch) - View it on GitHub