Article 51ZTN LXer: Linux Foundation backs security-oriented seL4 microkernel operating system

LXer: Linux Foundation backs security-oriented seL4 microkernel operating system

by
LXer
from LinuxQuestions.org on (#51ZTN)
Published at LXer:

Want a truly secure operating system kernel? The Linux Foundation is partnering with Australia[he]#039[/he]s national science agency, CSIRO, to roll out the seL4 microkernel.

Read More...latest?d=yIl2AUoC8zA latest?i=IbHzGU0PJmU:hvQQSwsGPzI:F7zBnMy latest?i=IbHzGU0PJmU:hvQQSwsGPzI:V_sGLiP latest?d=qj6IDK7rITs latest?i=IbHzGU0PJmU:hvQQSwsGPzI:gIN9vFwIbHzGU0PJmU
External Content
Source RSS or Atom Feed
Feed Location https://feeds.feedburner.com/linuxquestions/latest
Feed Title LinuxQuestions.org
Feed Link https://www.linuxquestions.org/questions/
Reply 0 comments