On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto <marietto2008@xxxxxxxxx> 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 _______________________________________________ Kernelnewbies mailing list Kernelnewbies@xxxxxxxxxxxxxxxxx https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies