At the same time, I find this incredibly impressive. That "smallish kernel" wasn't reverse-engineered from a behemoth, and it doesn't need to satisfy the constraint that it needs to be fully compatible with said behemoth. Huge kudos to the Windows team.