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 alalo on Saturday January 19, 2019 @09:52AM (#18947309)
ARM9's cache architecture is not suited for frequent address space switches due to the requirement to flush caches on every switch. All multi-user OSes suffer there it's just more accentuated on microkernels.
[ Parent | on HN ]
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 ]