logoalt Hacker News

jabedudelast Tuesday at 9:16 PM1 replyview on HN

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


Replies

pizlonatorlast Tuesday at 9:36 PM

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.

show 1 reply