News for hackers. Stuff that matters.

A comment on L4Linux – Linux running on the L4 microkernel. Parent comment

Re:L4Linux – Linux running on the L4 microkernel by rurban on Saturday January 19, 2019 @09:13AM (#18947139)
The Australian sel4 is not yet Spectre fixed, but the Dresden L4Re is.
[ Parent | on HN ]

There are no comments on this comment yet.