/usr/bin/mig
/usr/bin/motelist
/usr/bin/ncc
/usr/bin/ncg
/usr/bin/nesdoc
/usr/bin/samba-program
/usr/bin/tos-bsl
/usr/bin/tos-build-deluge-image
/usr/bin/tos-channelgen
/usr/bin/tos-check-env
/usr/bin/tos-decode-flid
/usr/bin/tos-deluge
/usr/bin/tos-dump
/usr/bin/tos-ident-flags
/usr/bin/tos-install-jni
/usr/bin/tos-locate-jre
/usr/bin/tos-mote-key
/usr/bin/tos-mviz
/usr/bin/tos-ramsize
/usr/bin/tos-serial-configure
/usr/bin/tos-serial-debug
/usr/bin/tos-set-symbols
/usr/bin/tos-storage-at45db
/usr/bin/tos-storage-pxa27xp30
/usr/bin/tos-storage-stm25p
/usr/bin/tosthreads-dynamic-app
/usr/bin/tosthreads-gen-dynamic-app
/usr/bin/tos-write-buildinfo
/usr/bin/tos-write-image
You may install this package on Debian with
apt-get
install tinyos-tools