It seems that zCore depends on a prebuilt `libc.so` library. How about replacing libc with [relibc](https://gitlab.redox-os.org/redox-os/relibc/), a libc written in pure Rust? If this is approved, I will try to implement it.