SOWNet Technologies has been using TinyOS in production for a while now, and they’ve just released a new development platform, the G-Node. It has a CC1101 radio (868 MHz) and an MSP430F2418 microcontroller. The platform isn’t in the TinyOS repository, but they have put together quite a nice development kit which includes a complete TinyOS 2.0 toolchain.
Together with the Technical University of Delft, they’ve also designed a modular test bed with sensor emulation: each test bed unit consists of a mini-PC with an I/O board with dedicated SPI/I2C/UART/ADC connections for up to four nodes.
You can find more information here.