L4 Namespace Reference

L4 low-level kernel interface. More...

Namespaces
namespace	Ipc_svr
	Helper classes for L4::Server instantiation.

Data Structures
class	Alloc_list
	A simple list-based allocator. More...
class	IOModifier
	Modifier class for the IO stream. More...
class	Exception_tracer
	Back-trace support for exceptions. More...
class	Base_exception
	Base class for all exceptions, thrown by the L4Re framework. More...
class	Runtime_error
	Exception for an abstract runtime error. More...
class	Out_of_memory
	Exception signalling insufficient memory. More...
class	Element_already_exists
	Exception for duplicate element insertions. More...
class	Unknown_error
	Exception for an unknown condition. More...
class	Element_not_found
	Exception for a failed lookup (element not found). More...
class	Invalid_capability
	Indicates that an invalid object was invoked. More...
class	Com_error
	Error conditions during IPC. More...
class	Bounds_error
	Access out of bounds. More...
class	Server
	Basic server loop for handling client requests. More...
class	Server_object
	Abstract server object to be used with L4::Server and L4::Basic_registry. More...
class	Basic_registry
	This registry returns the corresponding server object based on the label of an Ipc_gate. More...
class	String
	A null-terminated string container class. More...
struct	Type_info
	Dynamic Type Information for L4Re Interfaces. More...
class	Kobject_t
	Helper class to create an L4Re interface class that is derived from a single base class. More...
class	Kobject_2t
	Helper class to create an L4Re interface class that is derived from two base classes. More...
class	Vm
	Virtual machine. More...
class	Cap_base
	Base class for all kinds of capabilities. More...
class	Cap
	Capability Selector a la C++. More...
class	Kobject
	Base class for all kinds of kernel objects, referred to by capabilities. More...
class	Debugger
	Debugger interface. More...
class	Factory
	C++ L4 Factory, to create all kinds of kernel objects. More...
class	Ipc_gate
	L4 IPC gate. More...
class	Irq
	C++ version of an L4 IRQ. More...
class	Icu
	C++ version of an interrupt controller. More...
class	Meta
	Meta interface that shall be implemented by each L4Re object and gives access to the dynamic type information for L4Re objects. More...
class	Scheduler
	Scheduler object. More...
class	Smart_cap
	Smart capability class. More...
class	Task
	An L4 Task. More...
class	Thread
	L4 kernel thread. More...
class	Vcon
	C++ L4 Vcon. More...

Functions
template<typename T >
Type_info const *	kobject_typeid ()
	Get the L4::Type_info for the L4Re interface given in T.
template<typename T , typename F >
Cap< T >	cap_cast (Cap< F > const &c) throw ()
	static_cast for capabilities.
template<typename T , typename F >
Cap< T >	cap_reinterpret_cast (Cap< F > const &c) throw ()
	reinterpret_cast for capabilities.
template<typename T , typename F >
Cap< T >	cap_dynamic_cast (Cap< F > const &c) throw ()
	dynamic_cast for capabilities.
template<typename T , typename F , typename SMART >
Smart_cap< T, SMART >	cap_cast (Smart_cap< F, SMART > const &c) throw ()
	static_cast for capabilities.
template<typename T , typename F , typename SMART >
Smart_cap< T, SMART >	cap_reinterpret_cast (Smart_cap< F, SMART > const &c) throw ()
	reinterpret_cast for capabilities.

Variables
IOModifier const	hex
	Modifies the stream to print numbers as hexadecimal values.
IOModifier const	dec
	Modifies the stream to print numbers as decimal values.
BasicOStream	cout
	Standard output stream.
BasicOStream	cerr
	Standard error stream.

Detailed Description

L4 low-level kernel interface.

Function Documentation

template<typename T >

Type_info const* L4::kobject_typeid ( )

inline

Get the L4::Type_info for the L4Re interface given in T.

Parameters

T	The type (L4Re interface) for which the information shall be returned.

Returns

A pointer to the L4::Type_info structure for T.

Definition at line 87 of file __typeinfo.h.