mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-25 03:06:35 +00:00
The RTC driver is not needed by the base system and can thereby be handled as a user-installable component. Issue #4281
The x86-PC specific parts needed to run sculpt.