immunant / c2rust

Migrate C code to Rust
https://c2rust.com/
Other
4.02k stars 243 forks source link

Support conversion of the Linux kernel drivers #150

Open XVilka opened 5 years ago

XVilka commented 5 years ago

See the discussion on the writing Linux kernel drivers in Rust. Maybe it's time to bring also some automation for easier conversion here? See practical examples on how to write the kernel module in Rust:

rinon commented 5 years ago

Completely agree. We've actually translated a kernel module using Alex's repo as a starting point. Planning to at least write a blog post on how we did this, so others can follow along.

alex commented 5 years ago

That's awesome, I'd love to read your write up of that! If there's anything we could be doing on our side to help with automated translation, let us know!

marcograss commented 5 years ago

any update on this?

XVilka commented 4 years ago

There is a very interesting and relevant message in LKML by Nick Desaulniers:

Hello folks, I'm working on putting together an LLVM "Micro Conference" for the upcoming Linux Plumbers Conf (https://www.linuxplumbersconf.org/event/7/page/47-attend). It's not solidified yet, but I would really like to run a session on support for Rust "in tree." I suspect we could cover technical aspects of what that might look like (I have a prototype of that, was trivial to wire up KBuild support), but also a larger question of "should we do this?" or "how might we place limits on where this can be used?"

You might be interested in the upcoming "micro conference" then.