Client/Server example using C++ infrastructure – Shared header file.
Client/Server example using C++ infrastructure – Shared header file.
#pragma once
{
};
L4::Cap related definitions.
Helper class to create an L4Re interface class that is derived from a single base class.
unsigned int l4_uint32_t
Unsigned 32bit value.
Interface Definition Language.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Standard list of RPCs of an interface.