Dec. 8, 2023
1:14 a.m.
On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto <marietto2008@gmail.com> wrote:
What is this ?
https://l4re.org/download/snapshots/pre-built-images/arm-v7/
Thats a micro-kernel, sort of like GNU Hurd. theres also https://doc.redox-os.org/book/ch04-01-microkernels.html