This library has been moved to the seL4_projects_libs repo.