You should take a look at the late TempleOS. It's not a serious contender but has a lot of interesting ideas in that direction