L4/Iguana Learning

There is a lot of buzz going around for virtualization systems where a base system (for example L4 based micro-kernel) supporting other real-time operating systems such as Linux variants, WinCE, Symbian, REX etc.

The primary reason is to provide more secure and highly reliable systems to the manufacturer of embedded systems. The GPL license makes a bit difficult for the manufacturers to adopt for open systems as they have to expose their firmware to the public. NICTA initiate is the response to address the smilar issues and provide a high end systems to the market.

http://markustips.blogspot.com