/*
* \brief Platform specific services for x86
* \author Stefan Kalkowski
* \date 2012-10-26
*/
/*
* Copyright (C) 2012-2013 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.
*/
/* Genode includes */
#include
/* core includes */
#include
#include
#include
#include
/*
* Add x86 specific ioport service
*/
void Genode::platform_add_local_services(Rpc_entrypoint*,
Sliced_heap *sliced_heap,
Registry *local_services)
{
static Io_port_root io_port_root(core_env()->pd_session(),
platform()->io_port_alloc(), sliced_heap);
static Core_service
io_port_ls(*local_services, io_port_root);
}