Re: A few questions: Libre SoC, website, Rust

[gfleury]

hi,

9 septembre 2020 20:04 "Nala Ginrut" <mulei@gnu.org> a écrit:

> Hi there!
> 
> Jan Wielkiewicz writes:
> 
>> Third question:
>> Do you have anything against Rust contributions into the project? My
>> friend is interested in contributing, but unfortunately in Rust, not C.
>> I wonder if rump drivers could be written in Rust, thanks
>> to the Hurd's modular architecture.
> 
> Personally, I think it's a good idea to reborn Hurd in Rust, of course,
> in that case, it's not Hurd anymore, it'll be a new project with the
> spirit of Hurd.
> 
> However, there're some pre-conditions before anyone can try this idea:
> 
> 1. It'll be a great idea to use seL4 which is a better L4, and there's a 
> preliminary support
> in Rust. IIRC, it's a Rust binding of libsel4, you can extend the seL4
> with Rust. But there're lot of missing things to do, compared to other
> more complete L4.
> 
> 2. From GNU's perspective, we should definitely use gcc-rust, however,
> there's no mature Rust frontend in GCC. The good news is that someone
> are working on it, I'm one of the contributors. However, it's in a very
> slow progress.
> 
> https://nalaginrut.com/archives/2020/04/28/recon the hydra cave: a 
> development note of rust on gcc
> (part 1)
> 
> 3. I have some opinions on Hurd, here's my post, just personal premature
> ideas, some opinions maybe wrong, welcome to correct me:
> 
> https://nalaginrut.com/archives/2019/12/11/hurd, sel4, thoughts
> 
nice article :)

> Best regards.
> 
> --
> GNU Powered it
> GPL Protected it
> GOD Blessed it
> HFG - NalaGinrut
> Fingerprint F53B 4C56 95B5 E4D5 6093 4324 8469 6772 846A 0058