mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-17 07:49:25 +00:00
a2058a8d21
This patch adds the viewport area to the interface. It is not evaluated by the nitpicker GUI server yet. Issue #5518
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.