[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Rust in the kernel
|
From: |
Nathan Dehnel |
|
Subject: |
Re: Rust in the kernel |
|
Date: |
Tue, 5 Jul 2022 13:29:21 -0500 |
>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 been thoroughly
investigated.