Article 51X4Q 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 (#51X4Q)
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=D8nWbt1VM1Y:2EfLVIu4LJ8:F7zBnMy latest?i=D8nWbt1VM1Y:2EfLVIu4LJ8:V_sGLiP latest?d=qj6IDK7rITs latest?i=D8nWbt1VM1Y:2EfLVIu4LJ8:gIN9vFwD8nWbt1VM1Y
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