Hello all,
here is my proposal about Genode's participation in the microkernel/multiserver devroom at the upcoming FOSDEM 2012, cross-posted from the microkernel-devroom@...86... mailing list.
-------- Original Message -------- Subject: [Microkernel-devroom] [TALK-PROPOSAL] Introduction of the Genode OS Framework Date: Mon, 19 Dec 2011 10:55:50 +0100 From: Norman Feske <norman.feske@...1...> Reply-To: Multiserver, microkernel-based operating systems devroom mailing list. <microkernel-devroom@...86...> To: Multiserver, microkernel-based operating systems devroom mailing list. <microkernel-devroom@...86...>
Dear devroom participants,
Here is my talk proposal about the Genode project.
[Title] Introduction of the Genode OS Framework
[Full name] Norman Feske
[Short bio] Norman is one of the founders and architects of the Genode project. In 2008, he co-founded Genode Labs - a company with the mission to transform this OS technology from an once obscure research project to a next-generation main-stream OS.
[Estimated duration] 45 min
[Abstract] Today's operating systems try to find a balance between seemingly conflicting goals. Ease of use is traded against security, resource utilization is traded against resource accountability, and system complexity is traded against scalability. For example, SELinux is ill famed as hard to use and consequently remains widely unused. As another example, isolation kernels minimize the complexity of critical system software but at the cost of limiting these solutions to static applications.
The Genode OS architecture shows how these apparently inherent conflicts can be solved by operating-system design. By combining a recursive system structure with capability-based security, mandatory access control becomes easy to deploy. At the same time, the trusted computing base can be minimized for each application individually such that the attack surface for security-critical system functions gets reduced by orders of magnitude compared to existing approaches. Furthermore, a concept for trading physical resources among processes allows for dynamic workloads while maintaining quality of service. That is not just theory - the system is ready for demonstration and its developers are planning to use it as development environment by the end of 2012.
After a brief introduction of where Genode comes from, the main part of the talk will be focused on the OS architecture and give a glimpse at the implementation via live demonstrations. Finally, the talk will briefly discuss the planned steps towards using Genode as general-purpose OS. _______________________________________________ Microkernel-devroom mailing list Microkernel-devroom@...86... https://lists.fosdem.org/listinfo/microkernel-devroom