Or perhaps a `--target` flag that says "I'm targeting the linux kernel, not userspace, libcall these symbols (existing kernel functionality) rather than those (glibc interfaces)."
That won't solve it. Fil-C's memory safety relies on the Fil-C runtime
That won't solve it. Fil-C's memory safety relies on the Fil-C runtime