a customized libc used by seL4 camkes Rust apps which depend on libc. In such case, in Cargo.toml [dependecies] point the libc to libc = { optional = true, git = "https://github.com/GaloisInc/rs_liblibc.git" } - View it on GitHub