NICTA L4 Microkernel to be Utilised in Select QUALCOMM Chipset Solutions
24/11/2005 08:55
National ICT Australia (NICTA), Australia’s Centre of Excellence in Information and Communications Technology research, today announced a collaborative effort with QUALCOMM Incorporated to use NICTA versions of the L4 Microkernel and the Iguana operating system together with select versions of QUALCOMM’s Mobile Station Modem™ (MSM™) chipsets. The L4 Microkernel and Iguana operating system provide a high-performance, secure platform for embedded systems such as mobile communication devices.
"We are pleased to be working with QUALCOMM to utilise the L4 microkernel as the foundation for a trusted computing platform on embedded wireless devices," said Professor Gernot Heiser, leader of NICTA’s Embedded, Real-Time, and Operating Systems (ERTOS) program.
Commenting on today’s announcement, NICTA CEO Dr David Skellern said, "Although a small project initially, we hope to further develop our relationship with QUALCOMM through demonstrating the innovative research being conducted in Australia. This collaboration illustrates how NICTA is facilitating access to international markets for locally developed research."
As the leader of the ERTOS team, Professor Heiser is involved in NICTA research projects concerned with the development of a software framework for secure embedded systems, untrusted device drivers, and a formally verified operating system kernel.
Contact
Marijana Okanovic
Communications Coordinator – National ICT Australia
Ph: +61 2 8374 5489, +61 2 437 398 228
marijana.okanovicnicta.com.au
http://ertos.nicta.com.au |
| | | |
|
| | | |
| Document(s): | | |
