TinyOS overlay for Gentoo