Genode is a software framework that enhances existing kernels and offers a consistent API for apps, serving as an operating system.
Genode comes with several components, including the base framework that includes all the libraries and interfaces as described in the Base API documentation. Additionally, there are separate versions of the base framework for both Linux and L4/Fiasco, and drivers for VESA Framebuffer, libSDL vPS/2 keyboard and mouse, PCI, and timer.
As for services and applications, you'll find plenty of options with Nitpicker GUI server, Scout tutorial browser, graphical application launcher, and XML-configurable init process. If you're looking for a testing scenario, there's a complete demonstration with graphical test applications including liquid framebuffer, testnit, and nitlog.
Finally, for developers who want access to ported libraries, Genode includes both libz and libpng. All in all, Genode is a powerful, versatile, and customizable operating system framework for those with specific needs.
Version 9.05: N/A