L4Re – L4 Runtime Environment
Kernel Factory

The kernel factory is a kernel object that provides the ability to create new kernel objects dynamically.

The kernel factory enforces a memory quota. This quota defines the maximum amount of memory the factory service can use to construct the requested objects. When the quota is depleted, the factory refuses the creation of new objects.

The quota may be higher than the amount of physical memory available on a system; ultimately, the amount of physical memory available is the strict limit for the factory to remain operational.

The kernel factory creates the following kinds of objects:

The protocol IDs for objects in this list are given in l4_msgtag_protocol. The protocol ID shall be used as the second argument for L4::Factory.create(Cap<void>, long, l4_utcb_t *).

For the C++ interface see L4::Factory, for the C interface see Factory.

Passing parameters for the create stream

L4::Factory.create() returns a create stream that allows arguments to be forwarded to the constructor of the object to be created.

Objects that support additional parameters on their creation are presented with a non-empty list of parameters. The parameters are listed in the order they should be provided to a create stream returned by L4::Factory.create().