Eu tentei instalar a partir do link e funcionou. Todos os comandos em Instalando o TinyOS na versão recente do Ubuntu estão trabalhando
Experimente este git clone https://github.com/tinyos/tinyos-main.git
Em seguida, digite os seguintes comandos
cd tinyos-main
cd tools
./Bootstrap
./configure
make
sudo make install'
Experimente os comandos
tos-bsl
tos-write-image
tos-mote-key'