45 lines
1.3 KiB
C++
45 lines
1.3 KiB
C++
/*
|
|
* \brief Device PD handling for the platform driver
|
|
* \author Alexander Boettcher
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2014-2017 Genode Labs GmbH
|
|
*
|
|
* This file is part of the Genode OS framework, which is distributed
|
|
* under the terms of the GNU Affero General Public License version 3.
|
|
*/
|
|
|
|
|
|
#pragma once
|
|
|
|
#include <os/static_parent_services.h>
|
|
#include <os/slave.h>
|
|
|
|
enum { STACK_SIZE = 4 * sizeof(void *) * 1024 };
|
|
|
|
namespace Platform { class Device_pd_policy; }
|
|
|
|
class Platform::Device_pd_policy
|
|
:
|
|
private Genode::Static_parent_services<Genode::Ram_session,
|
|
Genode::Pd_session,
|
|
Genode::Cpu_session,
|
|
Genode::Log_session,
|
|
Genode::Rom_session>,
|
|
public Genode::Slave::Policy
|
|
{
|
|
public:
|
|
|
|
Device_pd_policy(Genode::Rpc_entrypoint &slave_ep,
|
|
Genode::Region_map &local_rm,
|
|
Genode::Ram_session_capability ram_ref_cap,
|
|
Genode::Ram_quota ram_quota,
|
|
Genode::Session_label const &label)
|
|
:
|
|
Genode::Slave::Policy(label, "device_pd", *this, slave_ep, local_rm,
|
|
ram_ref_cap, ram_quota)
|
|
{ }
|
|
};
|
|
|