This and the intermezzOS project linked below are both good, thanks for sharing those links. Is there any similar OS project (or even book!) that uses the late

This and the intermezzOS project linked below are both good, thanks for sharing those links. Is there any similar OS project (or even book!) that uses the latest operating system principles and non-hypothetical (i.e., unlike MIX or MINIX) languages?