Genode for C++ developers — the framework for creating operating systems

In this talk Sergey would like to introduce you to Genode, an open-source framework for creating operating systems. The main development and extension language is a subset of C++, there is support for standard C++ but only for applications.

Sergey will show how to port a ready-made application and how to develop your own simple application. In the process we'll see what IPCs Genode offers and try to figure out what resources your application needs and how to get them. Finally we will learn how to build a program and an OS image with it.