Programming stuff

Friday, August 12, 2011

seL4 (Secure Embedded L4) | ERTOS | NICTA

seL4 (Secure Embedded L4) | ERTOS | NICTA
Posted by daveangel at 4:41 AM

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (Atom)

About Me

daveangel
PC and Apple computer programmer with focus on security tech.
View my complete profile

Blog Archive

  • ▼  2011 (40)
    • ►  October (1)
    • ▼  August (28)
      • Simulated Annealing Applet | Heaton Research
      • Google's Android Dev Kit for Dummies™ sent home • ...
      • 5 Smartphone Location Tracking Myths, Busted -- In...
      • Allegro Common Lisp FAQ
      • 'Major' C++ revision receives standards blessing •...
      • GitHub System Status
      • Gartner: Gamification’s hype is about to reach its...
      • InfoQ: Twitter Shifting More Code to JVM, Citing P...
      • seL4 (Secure Embedded L4) | ERTOS | NICTA
      • The 15-Year-Old Creator Of The Trimit App Makes Re...
      • Why some developers turn to Web-based iOS apps | T...
      • Accuracy takes power: one man's 3GHz quest to buil...
      • The evolution of iOS development: Better tools and...
      • terminology - Why does it matter that HTML and CSS...
      • Stephen Wolfram Blog : Wolfram|Alpha Comes Alive w...
      • Developer survey finds Facebook has the worst API ...
      • Google Chrome Beta Now Supports C/C++ - ReadWriteC...
      • Scratch Team Blog: Here's What 44 million Scratch ...
      • Google C++ Style Guide
      • London’s burning, and BlackBerry’s in the firing l...
      • The Monad.Reader/Issue3/SoE Review - HaskellWiki
      • The Evolution of a Haskell Programmer
      • Has Microsoft gotten better at security or just le...
      • Mike Vanier: opinions
      • If programming languages were religions...
      • Meet Comex, The 19-Year-Old iPhone Uber-Hacker Who...
      • Stevey's Blog Rants: Done, and Gets Things Smart
      • Getting Started With the NetBeans IDE BlueJ Plugin
    • ►  July (8)
    • ►  February (1)
    • ►  January (2)
  • ►  2010 (18)
    • ►  June (4)
    • ►  March (2)
    • ►  February (11)
    • ►  January (1)
  • ►  2009 (34)
    • ►  December (3)
    • ►  November (11)
    • ►  October (16)
    • ►  September (4)
  • ►  2008 (1)
    • ►  January (1)
  • ►  2007 (5)
    • ►  July (1)
    • ►  April (1)
    • ►  March (3)
Awesome Inc. theme. Powered by Blogger.