tinyos-source 2.1.2+dfsg-1 (ppc64el binary) in ubuntu trusty

 TinyOS is an open source, BSD-licensed operating system
 designed for low-power wireless devices, such as those
 used in sensor networks, ubiquitous computing, personal
 area networks, smart buildings, and smart meters.
 .
 This package contains the TinyOS source code.