We need a way to run HolyC in the kernel

You can run HolyC in the kernel. Just not the Linux kernel.