68 lines
1.5 KiB
C++
68 lines
1.5 KiB
C++
/*
|
|
* \brief Linux-specific PD session
|
|
* \author Norman Feske
|
|
* \date 2012-08-15
|
|
*/
|
|
|
|
/*
|
|
* 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__PD_SESSION_COMPONENT_H_
|
|
#define _CORE__INCLUDE__PD_SESSION_COMPONENT_H_
|
|
|
|
/* Genode includes */
|
|
#include <base/rpc_server.h>
|
|
#include <linux_pd_session/linux_pd_session.h>
|
|
|
|
/* core includes */
|
|
#include <platform_pd.h>
|
|
|
|
namespace Genode {
|
|
|
|
class Pd_session_component : public Rpc_object<Linux_pd_session, Pd_session_component>
|
|
{
|
|
private:
|
|
|
|
enum { LABEL_MAX_LEN = 1024 };
|
|
enum { ROOT_PATH_MAX_LEN = 512 };
|
|
|
|
unsigned long _pid;
|
|
char _label[LABEL_MAX_LEN];
|
|
char _root[ROOT_PATH_MAX_LEN];
|
|
Parent_capability _parent;
|
|
Rpc_entrypoint *_ds_ep;
|
|
|
|
public:
|
|
|
|
/**
|
|
* Constructor
|
|
*
|
|
* \param ds_ep entrypoint where the dataspaces are managed
|
|
*/
|
|
Pd_session_component(Rpc_entrypoint *ds_ep, const char *args);
|
|
|
|
~Pd_session_component();
|
|
|
|
|
|
/**************************
|
|
** PD session interface **
|
|
**************************/
|
|
|
|
int bind_thread(Thread_capability);
|
|
int assign_parent(Parent_capability parent);
|
|
|
|
|
|
/******************************
|
|
** Linux-specific extension **
|
|
******************************/
|
|
|
|
void start(Capability<Dataspace> binary);
|
|
};
|
|
}
|
|
|
|
#endif /* _CORE__INCLUDE__PD_SESSION_COMPONENT_H_ */
|