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. |
||
|---|---|---|
| .. | ||
| config | ||
| doc | ||
| etc | ||
| include | ||
| lib | ||
| mk | ||
| patches | ||
| run | ||
| src | ||
| tool | ||
| Makefile | ||
| README | ||
This repository contains the port of Genode to the Codezero microkernel For instructions about using Genode with Codezero, please refer to 'doc/codezero.txt'.