TalkingTech
The view from the top of IT with TechWorld Editor Rohan Pearce
News about seL4
-
NICTA's seL4 microkernel edges closer to commercialisation
Eight months after National ICT Australia (NICTA) released its secure embedded L4 (seL4) microkernel, it has moved closer to commercialisation with potential developments by the Department of Defence and the mining sector using the software.
By Chloe Herrick | 27 September, 2011 14:55
-
NICTA wins race to secure L4
Australian research organisation, NICTA claims to be the world's first to develop a formal machine-checked proof of a general-purpose operating system kernel, the Secure Embedded L4 (seL4).
By Dahna McConnachie | 13 August, 2009 16:00
TechWorld Blogs
Recent blog posts
- OpenStack, collaboration and competition
- Tech and protesters at #occupysydney
- Adobe Flash (1996-2011): Will we really mourn you?
- Nokia's N9, MeeGo and all that: A Nokia N9 review of sorts
- Recruiter seeks developers for Amazon video-on-demand team
- A shocking resignation
- Lightsabers, software Darwinism and the demise of webOS
- Programming, creativity and open source
- Goodbye, hello
- Is Network Co. the way to go?
Latest Jobs
- FTiPhone App DeveloperNSW
- FTSenior Network Field Engineer - Cisco R&S / Wireless SolutionsNSW
- CCPC Relocation Technicians - Multiple Roles availableSA
- FTSenior Network Field Engineer - Cisco R&S / Wireless SolutionsNSW
- FTiPhone App DeveloperNSW
- FTSenior Citrix EngineerNSW
- FTFrontend Developer - Digital AgencyNSW
- CCSystem Engineer - Exchange - CONTRACTSWA
- FTIT Service Desk EngineerNSW
- FTFrontend Developer - Digital AgencyNSW
- FTProduct Manager Strategist - Enterprise ApplicationsNSW
- FTFrontend Developer - Digital AgencyNSW
- FTFrontend Developer - Digital AgencyNSW
- FTTechnical Services Engineer - ShoreTel/MitelVIC
- CCSystem Engineer - Lync and Exchange - CONTRACTSWA
- FTSenior Network Engineer - Cisco / Nexus / UCS / - Routing / Switching / WirelessNSW
- FTiPhone App DeveloperNSW
- FTiPhone Developer DeveloperNSW
- FTSenior Citrix EngineerNSW
- FTFrontend Developer - Digital AgencyNSW
- FTIT Service Desk EngineerNSW
- FTFrontend Developer - Digital AgencyNSW
- CCAvaya Engineer - ERS 8600 4.1NSW
- FTFrontend Developer - Digital AgencyNSW
- FTDrawing CheckerNSW
Twitter Feed
-
SocialMediaInsp Are CEOs getting the social media thing? http://t.co/KleCw2Ta @techworld_au #biz -
rohan_p RT @Techworld_AU: Gear and gadgets at @CeBITAUS 2012, Sydney http://t.co/J1Sch1sX #cebit2012 -
Techworld_AU Gear and gadgets at @CeBITAUS 2012, Sydney http://t.co/J1Sch1sX #cebit2012 -
HamishBarwick CeBIT 2012: Will NBN speed up freight delivery times? http://t.co/gaZyjOlH #cw #cio #tw #CeBIT2012 #nbn -
HamishBarwick CeBIT 2012: NAB calls for mobile app security overhaul http://t.co/3Z3ZPUPq #cw #cio #tw #CeBIT2012 #infosec
Latest News
- South Africa disappointed it has to share with Australia
- SKA to be jointly hosted by Australia, New Zealand and South Africa
- Cisco takes its lumps, keeps developing video meeting tools
- Wall Street Beat: After Facebook fiasco, don't write off tech IPOs
- FCC ruling on 800MHz band a boon for Sprint
- Oracle NetBeans 7.2 supports the latest PHP, C++
- Quickbooks Online outage leaves some customers in sour mood
- Mayor of New Jersey town arrested on hacking and conspiracy charges
- A comparison of Telstra's 4G phones
- Coding contest shows how big data can improve health care
- Untethered jailbreak for iOS 5.1.1 available for download
- Preview: LG Optimus LTE2
- Windows 8 update: all the latest rumours, opinions and possibilities
- Unthethered jailbreak for iOS 5.1.1 available for download
- CSIRO develops hands-free technology for mining repairs
CSO
Computerworld
CIO
ARN
Copyright 2012 IDG Communications. ABN 14 001 592 650. All rights reserved. Reproduction in whole or in part in any form or medium without express written permission of IDG Communications is prohibited.
IDG Sites:
PC World |
GoodGearGuide |
Computerworld Australia |
CIO Australia |
CSO Online |
ARN |
CIO Executive Council
Recent comments
14 hours, 30 minutes ago
22 hours, 49 minutes ago
23 hours, 45 minutes ago
1 day, 4 hours ago
1 day, 12 hours ago
1 day, 23 hours ago
2 days, 2 hours ago
2 days, 6 hours ago
2 days, 9 hours ago
2 days, 10 hours ago