LinuxQuestions.org
Latest LQ Deal: Complete CCNA, CCNP & Red Hat Certification Training Bundle
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - News > Syndicated Linux News
User Name
Password
Syndicated Linux News This forum is for the discussion of Syndicated Linux News stories.

Notices


Reply
  Search this Thread
Old 07-28-2014, 11:31 AM   #1
LXer
LXer NewsBot
 
Registered: Dec 2005
Posts: 96,982

Rep: Reputation: 102Reputation: 102
LXer: DARPA-derived secure microkernel goes open source tomorrow


Published at LXer:

Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fitA nippy microkernel mathematically proven to be bug free*, and used to protect drones from hacking, will be released as open source tomorrow.

Read More...
 
Old 07-28-2014, 11:42 AM   #2
metaschima
Senior Member
 
Registered: Dec 2013
Distribution: Slackware
Posts: 1,982

Rep: Reputation: 491Reputation: 491Reputation: 491Reputation: 491Reputation: 491
Lol at the "mathematically proven to be bug free". Yeah, whatever.
 
  


Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off



Similar Threads
Thread Thread Starter Forum Replies Last Post
seL4 microkernel to be Open Source jeremy Linux - News 0 06-24-2014 01:09 PM
LXer: DARPA gamifies open-source software testing LXer Syndicated Linux News 0 06-09-2014 01:40 PM
LXer: Tesseract A Brand New Open Source FPS Derived From Cube 2: Sauerbraten LXer Syndicated Linux News 0 05-12-2014 10:40 PM
LXer: DARPA government research agency publishes catalog of open source projects LXer Syndicated Linux News 0 02-10-2014 11:10 AM
LXer: Symbian Releases Microkernel As Open Source, Finally LXer Syndicated Linux News 0 10-22-2009 05:30 PM

LinuxQuestions.org > Forums > Linux Forums > Linux - News > Syndicated Linux News

All times are GMT -5. The time now is 03:12 PM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration