Thanks for the details. It's interesting to know the differences between them. Yes, it looks like Inferno is the closes thing to Taos. My point was that there w

Thanks for the details. It's interesting to know the differences between them. Yes, it looks like Inferno is the closes thing to Taos. My point was that there was a lot of interesting research operating systems that explored ideas in that direction (heterogeneity, distribution, networking, etc). But Taos seems super interesting. In what language is it written?