What is your opinion on Operating Systems research and industry? I find the Linux monoculture tiresome.