Today I went by Martin Leopolds new place of employment and picked up a Sensinode Micro and Nano (with a CC2420 and CC2430 respectively). Martin has done alot of work porting TinyOS to different mcs51 (8051) based platforms. If you are interested in such platforms you can check his page out here:
The plan is now to supply full 802.15.4 support for the popular CC2430 SoC through the use of Tiny15Four. I will report on my progress here..
I’ve released my TinyOS for JN5121 code in its current state in the download section. It is far from complete, but I guess some people might find use for it, so why not make it public 
I’ve started planning the porting of Tiny15Four to a CC2420 platform, probably the Sensinode Micro series (although outdated, this is what I have access to). This will be my last work on my master degree, but hopefully I’ll be able to continue my work on Tiny15Four as a Ph.d. student.
With regards to the Jennic JN5121 platform, I’m planning on releasing whatever code I currently have for TinyOS on this site. I don’t know how much more work I’ll put into disassembling the Jennic code. I seems realistic that I would be able to provide drivers for every module in the chip except for the radio. And will not be of much use with regards to Tiny15Four.
It finally happened. I succesfully defended my thesis friday and received the heighest grade (12). I’m very pleased with the outcome and the fact that it is overwith
With regards to compiling the Tiny15Four source code and getting to a release 1.0, it seems that Jonas Fonseca, who is also working hard with the Re-Mote testbed (http://remote-testbed.googlecode.com/ and http://remote-testbed.blogspot.com/), is going to setup the remote compiling environment again. This means that there will hopefully be a tested 1.0 release soon