mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
dc3d784e6d
By now all services in core where created, and registered in the generic main routine. Although there exists already a x86-specific service (I/O ports) there was no possibility to announce core-services for certain platforms only. This commit introduces a hook function in the 'Platform' class, that enables registration of platform-specific services. Moreover, the io-port service is offered on x86 platforms only now.
This repository contains the Linux-specific implementation of Genode.