[SkyMarshal]

What are those people's objection to Rust in the kernel? Do they prefer C's way of controlling and managing memory allocation?