Similar repositories to seL4/util_libs: