As long as my knowledge NetBSD is the very first open source OS which claims VIPT cache-safe.
I wonder if "PCU, per-cpu-unit" can contribute; - microMIPS, a redefinion of MIPS instruction stream in 16/32 encoding. - dynamically configurable processors which have two or more faces in one single person. - software emulated CPU by builtin instruction emulator/translator. Matt? Toru Nishimura / ALKYL Technology