logoalt Hacker News

pizlonatorlast Tuesday at 9:36 PM1 replyview on HN

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.


Replies

ndesaulnierslast Tuesday at 9:49 PM

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

show 1 reply