You define the configuration policy by defining some C-style macros. There
are the list of useful macros:
- POK_CONFIG_NB_THREADS: specify the number of threads
contained in the partition.
- POK_CONFIG_NB_BUFFERS:
Specify the number of buffers
used in the libpok (intra-partition communication).
- POK_CONFIG_NB_SEMAPHORES: Specify the number of semaphores
used in the libpok (intra-partition communication).
- POK_CONFIG_NB_BLACKBOARDS: Specify the number of blackboard
we use for intra-partition communications.
- POK_CONFIG_NB_EVENTS: Specify the number of events we use
for intra-partition communications.
- POK_CONFIG_ALLOCATOR_NB_SPACES: Indicate the number of
spaces we should reserve in the memory allocator. Since the memory
allocator tries to reach determinism, the number of space is fixed. So,
you have to specify how many spaces you want by defining this maccro.
- POK_CONFIG_ALLOCATOR_MEMORY_SIZE: Indicate which amount of
memory must be reserved for the memory allocator.
- POK_HW_ADDR:
Define the hardware address of the ethernet card. This maccro is useful
if the partition implements a device driver for a network device. In
POK and its libpok layer, we use it for the RTL8029 device driver.
Copyright 2009 POK Team
