CC Task must using Rust coding?

[Arrowflyt]

Hi, thanks for your nice project. I have a question about the program languages, so the CC task must using Rust as the program language? if we want to follow this project

[ya0guang]

Hi Arrowflyt,

The short answer is: not necessarily.

You may write a CC task in another language and link it with Rust using FFI. However, this method fails the verification for Rust code and may require other verification methods.