Genode OS 16.08 Released With seL4 Kernel Improvements

phoronix

Administrator

Join Date: Jan 2007

Posts: 64731
- Share
- Tweet
#1

Genode OS 16.08 Released With seL4 Kernel Improvements

31 August 2016, 09:00 AM

Phoronix: Genode OS 16.08 Released With seL4 Kernel Improvements

A new release of the Genode operating system framework is now available...

Genode OS 16.08 Released With seL4 Kernel Improvements - Phoronix

http://www.phoronix.com/scan.php?page=news_item&px=Genode-OS-16.08

Phoronix, Linux Hardware Reviews, Linux hardware benchmarks, Linux server benchmarks, Linux benchmarking, Desktop Linux, Linux performance, Open Source graphics, Linux How To, Ubuntu benchmarks, Ubuntu hardware, Phoronix Test Suite
Tags: None
microcode

Senior Member

Join Date: Mar 2013

Posts: 2276
- Share
- Tweet
#2

31 August 2016, 10:32 AM

Very excited to see this moving forward. I would love to be able to run my workstation on seL4 in the near future.
Comment

Announcement