I thought this was about UC Berkeley's TinyOS: https://github.com/tinyos/tinyos-main

This was a big deal in some academic circles in the early 2000s