bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Nala Ginrut
Subject: Re: A few questions: Libre SoC, website, Rust
Date: Thu, 10 Sep 2020 02:03:50 +0800
User-agent: mu4e 1.3.5; emacs 26.1

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%20the%20hydra%20cave%3a%20a%20development%20note%20of%20rust%20on%20gcc%20%28part%201%29

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%2c%20sel4%2c%20thoughts


Best regards.

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

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]