If you think the Bell Labs school of OS design is that interesting, have a look towards ETHZ, where a lot of that originated (as the ultimate minimalistic filtration of Xerox, of course).