Linux て可変ページは full には使ってないのか…知らんかった Linux でも TLB の flush が大いの少ないのというのは頭痛のタネみたい。IPC が重要な primitive な L4 とはちょっと違う方向性でだけど、でも Hurd/L4 も kernel replacement としてちゃんと稼…