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.
[ Parent
| on HN ]
There are no comments on this comment yet.