Why not RedoxOS (promising project in Rust)? Besides that RedoxOS is not strictly a unikernel (be may well be used as one), I see a lot of the same focus points in those two projects.

And can I assume the kernel will be written in C?