DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
Primary LanguageCOtherNOASSERTION