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.
38 lines
970 B
C++
38 lines
970 B
C++
/*
|
|
* \brief Platform-specific services
|
|
* \author Stefan Kalkowski
|
|
* \date 2012-10-26
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2012 Genode Labs GmbH
|
|
*
|
|
* This file is part of the Genode OS framework, which is distributed
|
|
* under the terms of the GNU General Public License version 2.
|
|
*/
|
|
|
|
#ifndef _CORE__INCLUDE__PLATFORM_SERVICES_H_
|
|
#define _CORE__INCLUDE__PLATFORM_SERVICES_H_
|
|
|
|
namespace Genode {
|
|
|
|
class Rpc_entrypoint;
|
|
class Sliced_heap;
|
|
class Service_registry;
|
|
|
|
|
|
/**
|
|
* Register platform-specific services at entrypoint, and service
|
|
* registry
|
|
*
|
|
* \param ep entrypoint used for session components of platform-services
|
|
* \param md metadata allocator for session components
|
|
* \param reg registry where to add platform-specific services
|
|
*/
|
|
void platform_add_local_services(Rpc_entrypoint *ep,
|
|
Sliced_heap *md,
|
|
Service_registry *reg);
|
|
}
|
|
|
|
#endif /* _CORE__INCLUDE__PLATFORM_SERVICES_H_ */
|