mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
22 lines
492 B
C++
22 lines
492 B
C++
/*
|
|
* \brief Topo-session capability type
|
|
* \author Michael Müller
|
|
* \date 2022-10-06
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2022 Michael Müller
|
|
*
|
|
* This file is part of EalanOS, witch is based on Genode OS framework
|
|
* distributed under the terms of the GNU Affero General Public License version 3.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <base/capability.h>
|
|
#include <topo_session/topo_session.h>
|
|
|
|
namespace Genode
|
|
{
|
|
typedef Capability<Topo_session> Topo_session_capability;
|
|
} // namespace Genode
|