News for hackers. Stuff that matters.
Re:L4Linux – Linux running on the L4 microkernel by aey on Saturday January 19, 2019 @01:26PM (#18948354)
Yep! If I recall correctly we had to blow away the entire cache on every system call because the line invalidate was so slow.

There are no comments on this comment yet.