API of kernel objects. More...
|A factory is used to create all kinds of kernel objects. |
|Secure comminication object. |
|The IRQ and ICU class. |
|The ICU class. |
|Scheduler object. |
|Class definition of the Task kernel object. |
|Thread object. |
|Virtual console for simple character based input and output. |
|Virtual Machine API. |
|Base class for all kinds of kernel objects, referred to by capabilities. More...|
|Meta interface that shall be implemented by each L4Re object and gives access to the dynamic type information for L4Re objects. More...|
|Disable copy of a class. |
|Disable copy and instantiation of a class. |
|Declare a kernel object class. |
API of kernel objects.
Disable copy of a class.
|_class||is the name of the class that shall not have value copy semantics.|
The typical use of this is:
Declare a kernel object class.
|_class||is the class name.|
The use of this macro disables copy and instantiation of the class as needed for kernel object classes derived from L4::Kobject.
The typical use looks like: