[jabedude]

Filip, do you plan to support building the kernel with fil-c? What's the limiting factor right now on supporting that?

[pizlonator]

I think the way to do that is via something like l4linux, so that the ultra low level bits of the Fil-C runtime aren't relying - circularly - upon kernel functionality compiled with Fil-C that rely on that runtime.

[ndesaulniers]

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)."