[okl4-developer] TinyOS on top of okl4

[Guanghui, Cheng]

On Monday 04 May 2009 10:32:43 pm Dennis Gessner wrote:
> > 	What is the benefit of TinyOS on top of OKL4? As i know the TinyOS is
> > used for dust device or OKL4 is for embedded device.  I think it is
> > possible to port TinyOS to OKL4 but maybe the problem is the OKL4 can't
> > be used for dust devices such as sensors.
> > 													Cheng
>
> For me (and a couple of other people), there are a lot of benefits.
>
> There is a lot of existing software made for sensor-nodes working with
> TinyOS. Also our project-partners are familiar programming inside TinyOS
> - not okl4. The goal is - to get a secure operating system on these
> nodes and I do not agree that okl4 can not be used inside these nodes.
> Everyone should have the possibility to choose either he want to use
> TinyOS - or our "secured node" solution - without additional work for them.
>
> Right now we have the choice of two possible hardware-solutions. One
> with an ARM9 core and one with an PXA271 core. Both solutions have
> enough memory (with MMU) and cpu-power to work with okl4 - and as far as
> I know, there is already done a lot of work with okl4 and the ARM9/PXA
> XScale cpu. Using okl4 should be possible.
	If your guys plan to use the ARM9 core to be as the sensor node and i think 
it should be possible to use the OKL4 as the hardware abstraction layer in 
these nodes. 
	Before when i touched the TinyOS they were used in the Crossbow hardware of 
reource strictly limited. But unluckily i have no any experiments of combined 
OKL4 and TinyOS. I use these two OSes separately for different projects.

	As i know now the Linux and ITRON have been ported to OKL4.  
	About L4Linux i think these two papers from Adam could show us the details 
about this porting. 
	http://os.inf.tu-dresden.de/papers_ps/adam-beleg.pdf
	http://os.inf.tu-dresden.de/papers_ps/adam-diplom.pdf
	OKLinux is similar as the L4Linux until now there is no public document about 
OKLinux details. So we can use the documents of L4Linux to describle the 
OKLinux.
	About ITRON you can read this one:
	http://www.cs.utah.edu/~aburtsev/doc/l4-mitron_report_paper.pdf
	
	That's all.
											Cheng