undefined | Better HN

0 pointspjmlp9y ago0 comments

Quite a few embedded OSes are microkernels, L4 being one of them.

0 comments

Interestingly L4 is being used to power the secure enclave on iOS devices so it's probably the most distributed microkernel.

There was a plan to move Hurd to use L3 instead of Mach, but apparently that project was cancelled.

j / k navigate · click thread line to collapse

0 pointspjmlp9y ago0 comments

Quite a few embedded OSes are microkernels, L4 being one of them.

Interestingly L4 is being used to power the secure enclave on iOS devices so it's probably the most distributed microkernel.

There was a plan to move Hurd to use L3 instead of Mach, but apparently that project was cancelled.

j / k navigate · click thread line to collapse