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!)
>>>
>>>
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
bscriberLink/899182/6c831b90eaee015e
>> https://www.memorysafety.org/blog/memory-safety-in-linux-kernel
>>
>> Within Guix, we'll need to adapt our kernel build processes in order to
>> support this.
>>
>> Although I help with updating and configuring the
>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.
>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
1b90eaee015e
>>>> https://www.memorysafety.org/blog/memory-safety-in-linux-kernel
>>>>
>>>> Within Guix, we'll need to adapt our kernel build processes in order to
>>>> support this.
>>>>
>>>> Although I help with updati
>>>
>>> Within Guix, we'll need to adapt our kernel build processes in order to
>>> support this.
>>>
>>> Although I help with updating and configuring the kernel builds, I won't
>>> be able to participate in the "Rust in the
>> https://www.memorysafety.org/blog/memory-safety-in-linux-kernel/
>>
>> Within Guix, we'll need to adapt our kernel build processes in order to
>> support this.
>>
>> Although I help with updating and configuring the kernel builds, I won't
>> be able to pa
in order to
>> support this.
>>
>> Although I help with updating and configuring the kernel builds, I won't
>> be able to participate in the "Rust in the kernel" effort for Guix.
>>> Understood…
>>
>> So, interested volunteers should begin
ng the kernel builds, I won't
> be able to participate in the "Rust in the kernel" effort for Guix.
>> Understood…
>
> So, interested volunteers should begin organizing :)
>> Yup!
>>
>> Now, concretely, how long will it take before key parts of the kernel
>
>> https://www.memorysafety.org/blog/memory-safety-in-linux-kernel/
>>
>> Within Guix, we'll need to adapt our kernel build processes in order to
>> support this.
>>
>> Although I help with updating and configuring the kernel builds, I won't
>> be able to pa
in-linux-kernel/
>
> Within Guix, we'll need to adapt our kernel build processes in order to
> support this.
>
> Although I help with updating and configuring the kernel builds, I won't
> be able to participate in the "Rust in the kernel" effort for Guix.
Understood…
> So,
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
build processes in order to
support this.
Although I help with updating and configuring the kernel builds, I won't
be able to participate in the "Rust in the kernel" effort for Guix.
So, interested volunteers should begin organizing :)
signature.asc
Description: PGP signature
14 matches
Mail list logo
