> As far as I can remember plan9 flush tables very often and clearly > separate kernel memory pages and user space memory.
no. the kernel is mapped in each user process but with PTEUSER bits clear (owner bit) in the pte so user process cannot access it (but with meltdown, it can). -- cinap
