Re: Rust in the kernel

Ludovic Courtès writes: > Hi, > > Akib Azmain Turja skribis: > >>> (During that time, interested readers can also take a stab at improving >>> support for the Hurd, which relies on that revolutionary technology >>> called “address spaces” to ensure Memory Safety™ among other things!) >>> >>> Lud

Re: Rust in the kernel

Hi, Akib Azmain Turja skribis: >> (During that time, interested readers can also take a stab at improving >> support for the Hurd, which relies on that revolutionary technology >> called “address spaces” to ensure Memory Safety™ among other things!) >> >> Ludo’. >> > > Why "address spaces" is a

Re: Rust in the kernel

July 5, 2022 11:36 AM, "Akib Azmain Turja" wrote: > jbra...@dismail.de writes: > >> July 5, 2022 12:48 AM, "Akib Azmain Turja" wrote: >> >>> jbra...@dismail.de writes: >> >> July 4, 2022 1:36 PM, "Akib Azmain Turja" wrote: >> >> Ludovic Courtès writes: >> >> Hi! >> >> Leo Famulari skrib

Re: Rust in the kernel

>BTW, what's the status of Viengoos? The author put it on indefinite hiatus and no one else has the expertise (and/or interest) to continue to work on it.

Re: Rust in the kernel

>GNU Mach, which is what the Hurd runs on. Is slower that Linux. There was an attempt to port the Hurd to L4 before. It is deemed not possible by the current hurd developers. This was done with an older L4 (Pistachio, I think) that lacked capabilities in the kernel. Doing it with SEL4 has not be

Re: Rust in the kernel

jbra...@dismail.de writes: > July 5, 2022 12:48 AM, "Akib Azmain Turja" wrote: > >> jbra...@dismail.de writes: >> >>> July 4, 2022 1:36 PM, "Akib Azmain Turja" wrote: >>> Ludovic Courtès writes: >>> >>> Hi! >>> >>> Leo Famulari skribis: The effort to use the Rust programming lang

Re: Rust in the kernel

July 5, 2022 12:48 AM, "Akib Azmain Turja" wrote: > jbra...@dismail.de writes: > >> July 4, 2022 1:36 PM, "Akib Azmain Turja" wrote: >> >>> Ludovic Courtès writes: >> >> Hi! >> >> Leo Famulari skribis: >>> The effort to use the Rust programming language within the Linux kernel >>> is progr

Re: Rust in the kernel

Ludovic Courtès writes: > Hi! > > Leo Famulari skribis: > >> The effort to use the Rust programming language within the Linux kernel >> is progressing and may be realized in the next few months: >> >> https://lwn.net/SubscriberLink/899182/6c831b90eaee015e/ >> https://www.memorysafety.org/blog/me

Re: Rust in the kernel

jbra...@dismail.de writes: > July 4, 2022 1:36 PM, "Akib Azmain Turja" wrote: > >> Ludovic Courtès writes: >> >>> Hi! >>> >>> Leo Famulari skribis: >> >> The effort to use the Rust programming language within the Linux kernel >> is progressing and may be realized in the next few months: >>

Re: Rust in the kernel

July 4, 2022 1:36 PM, "Akib Azmain Turja" wrote: > Ludovic Courtès writes: > >> Hi! >> >> Leo Famulari skribis: > > The effort to use the Rust programming language within the Linux kernel > is progressing and may be realized in the next few months: > > https://lwn.net/SubscriberLink/899182/

Re: Rust in the kernel

Ludovic Courtès writes: > Hi! > > Leo Famulari skribis: > >> The effort to use the Rust programming language within the Linux kernel >> is progressing and may be realized in the next few months: >> >> https://lwn.net/SubscriberLink/899182/6c831b90eaee015e/ >> https://www.memorysafety.org/blog/me

Re: Rust in the kernel

Hi! Leo Famulari skribis: > The effort to use the Rust programming language within the Linux kernel > is progressing and may be realized in the next few months: > > https://lwn.net/SubscriberLink/899182/6c831b90eaee015e/ > https://www.memorysafety.org/blog/memory-safety-in-linux-kernel/ > > With

Re: Rust in the kernel

On Thu, Jun 30, 2022 at 12:37:54PM -0400, Leo Famulari wrote: > Within Guix, we'll need to adapt our kernel build processes in order to > support this. An update on GCC support for Rust: https://lwn.net/Articles/899385/ signature.asc Description: PGP signature