@ostrock é incrível como uma história tão importante parece ter suprimida da memória de todos nós, né? Todo mundo queria o "Unix no Brasil", mas ninguém (e eram pelo menos 5 empresas do mercado, uma estatal e mais o próprio Estado) concordava em como ele deveria ser. E poucos anos depois o 386BSD (e o Linux, logo depois) tornaram essa história toda sem sentido.
Um dia ainda reuno as referências e escrevo essa história.