obsolete, use https://github.com/GaloisInc/seL4_tools "rust" branch instead - View it on GitHub