sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-01-14 03:43:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
master
codezero/scripts/config/cml/container_ruleset.template
Bahadir Balban 6fa4884a5a Changes since April 
Clean up of build directories.
Simplifications to capability model.
2010-06-01 15:08:13 +03:00

1080 lines
42 KiB
Plaintext
Raw Permalink Blame History

symbols
CONT%(cn)d_TYPE_LINUX 'Linux Container' text
Virtualized linux container.
.
CONT%(cn)d_TYPE_BAREMETAL 'Baremetal Container' text
Baremetal containers.
These containers contain various demos describing the usage of various system calls, accessing devices etc.
.
CONT%(cn)d_TYPE_POSIX 'POSIX Container' text
Posix container displaying a real posix system running over the hypervisor.
.
CONT%(cn)d_OPT_NAME 'Project Name' text
Project name for container%(cn)d in this build.
.
CONTAINERS 'Number of containers' text
Number of containers to be configured.
The maximum number of containers that can be configured is set to 4.
.
CONT%(cn)d_PAGER_PHYSMEM_REGIONS 'Container %(cn)d Number of Physical Regions' text
Number of physical memory regions alloted to container%(cn)d.
A maximum of 4 physical memory regions can be alloted to each container.
.
CONT%(cn)d_PAGER_PHYS0_START 'Container %(cn)d Pager Physical Region 0 Start Address' text
Start address of physical memory region 0 for container%(cn)d.
.
CONT%(cn)d_PAGER_PHYS0_END 'Container %(cn)d Pager Physical Region 0 End Address' text
End address of physical memory region 0 for container%(cn)d.
.
CONT%(cn)d_PAGER_PHYS1_START 'Container %(cn)d Pager Physical Region 1 Start Address' text
Start address of physical memory region 1 for container%(cn)d.
.
CONT%(cn)d_PAGER_PHYS1_END 'Container %(cn)d Pager Physical Region 1 End Address' text
End address of physical memory region 1 for container%(cn)d.
.
CONT%(cn)d_PAGER_PHYS2_START 'Container %(cn)d Pager Physical Region 2 Start Address' text
Start address of physical memory region 2 for container%(cn)d.
.
CONT%(cn)d_PAGER_PHYS2_END 'Container %(cn)d Pager Physical Region 2 End Address' text
End address of physical memory region 2 for container%(cn)d.
.
CONT%(cn)d_PAGER_PHYS3_START 'Container %(cn)d Pager Physical Region 3 Start Address' text
Start address of physical memory region 3 for container%(cn)d.
.
CONT%(cn)d_PAGER_PHYS3_END 'Container %(cn)d Pager Physical Region 3 End Address' text
End address of physical memory region 3 for container%(cn)d.
.
symbols
CONT%(cn)d_PAGER_VIRTMEM_REGIONS 'Container %(cn)d Number of Virtual Regions' text
Number of virtual memory regions alloted to container%(cn)d.
A maximum of 6 virtual memory regions can be alloted to each container.
.
CONT%(cn)d_PAGER_VIRT0_START 'Container %(cn)d Pager Virtual Region 0 Start Address' text
Start address of virtual memory region 0 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT0_END 'Container %(cn)d Pager Virtual Region 0 End Address' text
End address of virtual memory region 0 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT1_START 'Container %(cn)d Pager Virtual Region 1 Start Address' text
Start address of virtual memory region 1 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT1_END 'Container %(cn)d Pager Virtual Region 1 End Address' text
End address of virtual memory region 1 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT2_START 'Container %(cn)d Pager Virtual Region 2 Start Address' text
Start address of virtual memory region 2 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT2_END 'Container %(cn)d Pager Virtual Region 2 End Address' text
End address of virtual memory region 2 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT3_START 'Container %(cn)d Pager Virtual Region 3 Start Address' text
Start address of virtual memory region 3 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT3_END 'Container %(cn)d Pager Virtual Region 3 End Address' text
End address of virtual memory region 3 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT4_START 'Container %(cn)d Pager Virtual Region 4 Start Address' text
Start address of virtual memory region 4 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT4_END 'Container %(cn)d Pager Virtual Region 4 End Address' text
End address of virtual memory region 4 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT5_START 'Container %(cn)d Pager Virtual Region 5 Start Address' text
Start address of virtual memory region 5 for container%(cn)d.
.
CONT%(cn)d_PAGER_VIRT5_END 'Container %(cn)d Pager Virtual Region 5 End Address' text
End address of virtual memory region 5 for container%(cn)d.
.
# FIXME: We dont need to pass PAGER_LMA and PAGER_VMA to config.h now
# as we are using them just to derive other symbols, in this file only
CONT%(cn)d_PAGER_LMA 'Container %(cn)d Pager LMA' text
Physical memory address for loading the pager of container%(cn)d.
.
CONT%(cn)d_PAGER_VMA 'Container %(cn)d Pager VMA' text
Virtual memory address for loading the pager of container%(cn)d.
.
CONT%(cn)d_PAGER_SHM_START 'Container %(cn)d Shared Mappings Region Start' text
Start of virtual memory region to be used for shared mappings for container%(cn)d.
.
CONT%(cn)d_PAGER_SHM_END 'Container %(cn)d Shared Mappings Region End' text
End of virtual memory region to be used for shared mappings for container%(cn)d.
.
CONT%(cn)d_PAGER_TASK_START 'Container %(cn)d Task Address Space Region Start' text
Start of virtual memory region to be used for address spaces generation
for the new tasks created in container%(cn)d.
.
CONT%(cn)d_PAGER_TASK_END 'Container %(cn)d Task Address Space Region End' text
End of virtual memory region to be used for address spaces generation
for the new tasks created in container%(cn)d.
.
CONT%(cn)d_PAGER_UTCB_START 'Container %(cn)d UTCB Mappings Region Start' text
Start of virtual memory region to be used for allocating utcbs of threads in container%(cn)d.
.
CONT%(cn)d_PAGER_UTCB_END 'Container %(cn)d UTCB Mappings Region End' text
End of virtual memory region to be used for allocating utcbs of threads in container%(cn)d.
.
CONT%(cn)d_LINUX_ZRELADDR 'Container %(cn)d Linux ZRELADDR Parameter' text
ZRELADDR parameter of linux kernel.
This refers to the physical memory address where uncompressed linux kernel will be loaded.
This should be within the physical memory regions assigned to linux container.
.
CONT%(cn)d_LINUX_PAGE_OFFSET 'Container %(cn)d Linux PAGE_OFFSET Parameter' text
PAGE_OFFSET parameter of linux kernel.
This refers to the virtual memory address from where the virtual memory region
of linux kernel starts.
This should be within the virtual memory regions assigned to linux container.
.
CONT%(cn)d_LINUX_PHYS_OFFSET 'Container %(cn)d Linux PHYS_OFFSET Parameter' text
PHYS_OFFSET parameter of linux kernel.
This refers to the beginning address of physical memory region avaialable to linux container/kernel.
.
CONT%(cn)d_LINUX_ROOTFS_ADDRESS 'Container %(cn)d Linux ROOTFS Address' text
Virtual memory address where root filesystem, to be used by linux kernel, will be located.
This should be within the range of virtual memory regions assigned to linux container/kernel.
.
default CONT%(cn)d_PAGER_LMA from CONT%(cn)d_PAGER_PHYS0_START
default CONT%(cn)d_PAGER_VMA from CONT%(cn)d_PAGER_VIRT0_START
default CONT%(cn)d_PAGER_SHM_START from CONT%(cn)d_PAGER_VIRT1_START
default CONT%(cn)d_PAGER_SHM_END from CONT%(cn)d_PAGER_VIRT1_END
default CONT%(cn)d_PAGER_TASK_START from CONT%(cn)d_PAGER_VIRT2_START
default CONT%(cn)d_PAGER_TASK_END from CONT%(cn)d_PAGER_VIRT2_END
default CONT%(cn)d_PAGER_UTCB_START from CONT%(cn)d_PAGER_VIRT3_START
default CONT%(cn)d_PAGER_UTCB_END from CONT%(cn)d_PAGER_VIRT3_END
default CONT%(cn)d_LINUX_ZRELADDR from (CONT%(cn)d_LINUX_PHYS_OFFSET + 0x8000)
default CONT%(cn)d_LINUX_PAGE_OFFSET from CONT%(cn)d_PAGER_VIRT0_START
default CONT%(cn)d_LINUX_PHYS_OFFSET from CONT%(cn)d_PAGER_PHYS0_START
default CONT%(cn)d_LINUX_ROOTFS_ADDRESS from (CONT%(cn)d_LINUX_PHYS_OFFSET + 0x500000)
default CONT%(cn)d_PAGER_VIRTMEM_REGIONS from (CONT%(cn)d_TYPE_POSIX==y ? 4 : 1)
default CONT%(cn)d_PAGER_PHYSMEM_REGIONS from 1
# Define limits on virtual and physical memory regions of a _single_ container 0. Too much code!
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_VIRT1_START CONT%(cn)d_PAGER_VIRT1_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_VIRT2_START CONT%(cn)d_PAGER_VIRT2_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_VIRT3_START CONT%(cn)d_PAGER_VIRT3_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_VIRT4_START CONT%(cn)d_PAGER_VIRT4_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_VIRT5_START CONT%(cn)d_PAGER_VIRT5_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 3 suppress CONT%(cn)d_PAGER_VIRT2_START CONT%(cn)d_PAGER_VIRT2_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 3 suppress CONT%(cn)d_PAGER_VIRT3_START CONT%(cn)d_PAGER_VIRT3_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 3 suppress CONT%(cn)d_PAGER_VIRT4_START CONT%(cn)d_PAGER_VIRT4_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 3 suppress CONT%(cn)d_PAGER_VIRT5_START CONT%(cn)d_PAGER_VIRT5_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 4 suppress CONT%(cn)d_PAGER_VIRT3_START CONT%(cn)d_PAGER_VIRT3_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 4 suppress CONT%(cn)d_PAGER_VIRT4_START CONT%(cn)d_PAGER_VIRT4_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 4 suppress CONT%(cn)d_PAGER_VIRT5_START CONT%(cn)d_PAGER_VIRT5_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 5 suppress CONT%(cn)d_PAGER_VIRT4_START CONT%(cn)d_PAGER_VIRT4_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 5 suppress CONT%(cn)d_PAGER_VIRT5_START CONT%(cn)d_PAGER_VIRT5_END
when CONT%(cn)d_PAGER_VIRTMEM_REGIONS < 6 suppress CONT%(cn)d_PAGER_VIRT5_START CONT%(cn)d_PAGER_VIRT5_END
when CONT%(cn)d_PAGER_PHYSMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_PHYS1_START CONT%(cn)d_PAGER_PHYS1_END
when CONT%(cn)d_PAGER_PHYSMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_PHYS2_START CONT%(cn)d_PAGER_PHYS2_END
when CONT%(cn)d_PAGER_PHYSMEM_REGIONS < 2 suppress CONT%(cn)d_PAGER_PHYS3_START CONT%(cn)d_PAGER_PHYS3_END
when CONT%(cn)d_PAGER_PHYSMEM_REGIONS < 3 suppress CONT%(cn)d_PAGER_PHYS2_START CONT%(cn)d_PAGER_PHYS2_END
when CONT%(cn)d_PAGER_PHYSMEM_REGIONS < 3 suppress CONT%(cn)d_PAGER_PHYS3_START CONT%(cn)d_PAGER_PHYS3_END
when CONT%(cn)d_PAGER_PHYSMEM_REGIONS < 4 suppress CONT%(cn)d_PAGER_PHYS3_START CONT%(cn)d_PAGER_PHYS3_END
# We assume kernel uses 0x0 - 0x40000 physical RAM.
# Physical Regions for containers should start after kernel.
require CONT%(cn)d_PAGER_PHYS0_START >= 0x40000
require CONT%(cn)d_PAGER_PHYS1_START >= 0x40000
require CONT%(cn)d_PAGER_PHYS2_START >= 0x40000
require CONT%(cn)d_PAGER_PHYS3_START >= 0x40000
# TODO: We can add check for end address of physical region to be
# less than RAM SIZE, need to find out RAM SIZE?
# Rules for Linux kernel parameters
require CONT%(cn)d_LINUX_ZRELADDR > CONT%(cn)d_LINUX_PHYS_OFFSET + 0x8000
# TODO: Do we want to check if PAGER_LMA/VMA lies in allocated memory regions
default CONT%(cn)d_PAGER_PHYS0_START from ((%(cn)d == 0 ? 0x100000 : (0x100000 + %(cn)d * 0x1000000)) + RAM_BASE_PLAT)
default CONT%(cn)d_PAGER_PHYS0_END from (CONT%(cn)d_PAGER_PHYS0_START + 0xD00000)
default CONT%(cn)d_PAGER_PHYS1_START from CONT%(cn)d_PAGER_PHYS0_END
default CONT%(cn)d_PAGER_PHYS1_END from (CONT%(cn)d_PAGER_PHYS1_START + 0x100000)
default CONT%(cn)d_PAGER_PHYS2_START from CONT%(cn)d_PAGER_PHYS1_END
default CONT%(cn)d_PAGER_PHYS2_END from (CONT%(cn)d_PAGER_PHYS2_START + 0x100000)
default CONT%(cn)d_PAGER_PHYS3_START from CONT%(cn)d_PAGER_PHYS2_END
default CONT%(cn)d_PAGER_PHYS3_END from (CONT%(cn)d_PAGER_PHYS3_START + 0x100000)
default CONT%(cn)d_PAGER_VIRT0_START from (%(cn)d == 0 ? 0xa0000000 : (0xa0000000 + %(cn)d * 0x10000000))
default CONT%(cn)d_PAGER_VIRT0_END from (CONT%(cn)d_PAGER_VIRT0_START + 0x10000000)
default CONT%(cn)d_PAGER_VIRT1_START from (%(cn)d == 0 ? 0x80000000 : (0x80000000 + %(cn)d * 0x8000000))
default CONT%(cn)d_PAGER_VIRT1_END from (CONT%(cn)d_PAGER_VIRT1_START + 0x8000000)
default CONT%(cn)d_PAGER_VIRT2_START from (%(cn)d == 0 ? 0x40000000 : (0x40000000 + %(cn)d * 0x10000000))
default CONT%(cn)d_PAGER_VIRT2_END from (CONT%(cn)d_PAGER_VIRT2_START + 0x10000000)
default CONT%(cn)d_PAGER_VIRT3_START from (%(cn)d == 0 ? 0xf8100000 : (0xf8100000 + %(cn)d * 0x100000))
default CONT%(cn)d_PAGER_VIRT3_END from (CONT%(cn)d_PAGER_VIRT3_START + 0x100000)
default CONT%(cn)d_PAGER_VIRT4_START from (%(cn)d == 0 ? 0x10000000 : (0x10000000 + %(cn)d * 0x10000000))
default CONT%(cn)d_PAGER_VIRT4_END from (CONT%(cn)d_PAGER_VIRT4_START + 0x10000000)
default CONT%(cn)d_PAGER_VIRT5_START from 0xe0000000
default CONT%(cn)d_PAGER_VIRT5_END from 0xf0000000
default CONT%(cn)d_OPT_NAME from
(CONT%(cn)d_TYPE_LINUX==y) ? "linux%(cn)d" :
((CONT%(cn)d_TYPE_POSIX==y) ? "posix%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_HELLO_WORLD==y) ? "hello_world%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_THREADS_DEMO==y) ? "thread_demo%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_TEST_SUITE==y) ? "test_suite%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_UART_SERVICE==y) ? "uart_service%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_KMI_SERVICE==y) ? "kmi_service%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_MUTEX_DEMO==y) ? "mutex_demo%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_IPC_DEMO==y) ? "ipc_demo%(cn)d" :
((CONT%(cn)d_BAREMETAL_PROJ_TIMER_SERVICE==y) ? "timer_service%(cn)d" : "empty%(cn)d")))))))))
when CONT%(cn)d_TYPE_LINUX==y suppress cont%(cn)d_pager_linker_params
unless CONT%(cn)d_TYPE_POSIX==y suppress cont%(cn)d_posix_pager_params
unless CONT%(cn)d_TYPE_LINUX==y suppress cont%(cn)d_linux_pager_params
unless CONT%(cn)d_TYPE_BAREMETAL==y suppress cont%(cn)d_baremetal_params
# derive symbols, for cinfo.c, depending on the type of container selected
derive CONT%(cn)d_PAGER_LOAD_ADDR from (CONT%(cn)d_TYPE_LINUX==y) ? CONT%(cn)d_LINUX_PHYS_OFFSET : CONT%(cn)d_PAGER_LMA
derive CONT%(cn)d_PAGER_VIRT_ADDR from (CONT%(cn)d_TYPE_LINUX==y) ? CONT%(cn)d_LINUX_PAGE_OFFSET : CONT%(cn)d_PAGER_VMA
derive CONT%(cn)d_START_PC_ADDR from (CONT%(cn)d_TYPE_LINUX != y) ? CONT%(cn)d_PAGER_VMA : (CONT%(cn)d_LINUX_PAGE_OFFSET + CONT%(cn)d_LINUX_ZRELADDR - CONT%(cn)d_LINUX_PHYS_OFFSET)
symbols
cont%(cn)d_menu 'Container %(cn)d Parameters' text
List of parameters associated with container%(cn)d.
All parameters are provided with default values, appropriate for defualt configurations of
various containers.
.
cont%(cn)d_physmem_list 'Container %(cn)d Pager Physical Memory Regions (Capabilities)' text
List of physical memory regions to be used by container%(cn)d.
.
cont%(cn)d_virtmem_list 'Container %(cn)d Pager Virtual Memory Regions (Capabilities)' text
List of virtual memory regions to be used by container%(cn)d.
.
container%(cn)d_type 'Container %(cn)d Type' text
Container type.
.
#cont%(cn)d_pager_params 'Container %(cn)d Pager Parameters' text
#Configuration parameters associated with container%(cn)d pager.
#.
container%(cn)d_options 'Container %(cn)d Options' text
Configuration parameters associated with container%(cn)d.
.
cont%(cn)d_linux_pager_params 'Container %(cn)d Linux Pager Parameters' text
Configuration parameters associated with pager of container%(cn)d.
.
cont%(cn)d_pager_linker_params 'Container %(cn)d Pager Linker Parameters' text
Pager's linker parameters. These allow shifting the pager image in physical and virtual
address spaces.
For correct functioning, the LMA parameter should match with one of the
defined physical memory capabilities.
The VMA parameter should match with one of the defined virtual memory
capabilities.
.
cont%(cn)d_posix_pager_params 'Container %(cn)d POSIX Pager Parameters' text
Configuration parameters associated with pager of container%(cn)d.
.
cont%(cn)d_baremetal_params 'Baremetal Project Type' text
Select the type of sources to include in this baremetal container
.
CONT%(cn)d_BAREMETAL_PROJ_EMPTY 'Empty Project' text
Empty container.
This includes the bare minimum sources required to build a container.
.
CONT%(cn)d_BAREMETAL_PROJ_HELLO_WORLD 'Hello World' text
Hello world container
This includes a main.c with a hello world message printed on the console.
.
CONT%(cn)d_BAREMETAL_PROJ_THREADS_DEMO 'Thread Library Demo' text
Baremetal container demonstrating usage of libl4 thread library and associated API.
.
CONT%(cn)d_BAREMETAL_PROJ_TEST_SUITE 'Microkernel Tests' text
Baremetal container demonstrating some API usage cases and tests.
.
CONT%(cn)d_BAREMETAL_PROJ_UART_SERVICE 'UART Service' text
Baremetal container demonstrating usage of uart devices.
.
CONT%(cn)d_BAREMETAL_PROJ_TIMER_SERVICE 'Timer Service' text
Baremetal container displaying usage of timer devices.
.
CONT%(cn)d_BAREMETAL_PROJ_KMI_SERVICE 'Keyboard Mouse Service' text
Baremetal container displaying usage of mouse and keyboard devices.
.
CONT%(cn)d_BAREMETAL_PROJ_MUTEX_DEMO 'Mutex Demo' text
Baremetal container displaying usage of mutexes.
.
CONT%(cn)d_BAREMETAL_PROJ_IPC_DEMO 'IPC Demo' text
Baremetal container displaying usage of ipc calls.
.
choices cont%(cn)d_baremetal_params
CONT%(cn)d_BAREMETAL_PROJ_EMPTY
CONT%(cn)d_BAREMETAL_PROJ_HELLO_WORLD
CONT%(cn)d_BAREMETAL_PROJ_THREADS_DEMO
CONT%(cn)d_BAREMETAL_PROJ_TEST_SUITE
CONT%(cn)d_BAREMETAL_PROJ_UART_SERVICE
CONT%(cn)d_BAREMETAL_PROJ_TIMER_SERVICE
CONT%(cn)d_BAREMETAL_PROJ_KMI_SERVICE
CONT%(cn)d_BAREMETAL_PROJ_MUTEX_DEMO
CONT%(cn)d_BAREMETAL_PROJ_IPC_DEMO
default CONT%(cn)d_BAREMETAL_PROJ_EMPTY
menu cont%(cn)d_pager_linker_params
CONT%(cn)d_PAGER_LMA@
CONT%(cn)d_PAGER_VMA@
menu cont%(cn)d_posix_pager_params
CONT%(cn)d_PAGER_SHM_START@
CONT%(cn)d_PAGER_SHM_END@
CONT%(cn)d_PAGER_TASK_START@
CONT%(cn)d_PAGER_TASK_END@
CONT%(cn)d_PAGER_UTCB_START@
CONT%(cn)d_PAGER_UTCB_END@
menu cont%(cn)d_linux_pager_params
CONT%(cn)d_LINUX_PHYS_OFFSET@
CONT%(cn)d_LINUX_ZRELADDR@
CONT%(cn)d_LINUX_ROOTFS_ADDRESS@
CONT%(cn)d_LINUX_PAGE_OFFSET@
menu cont%(cn)d_virtmem_list
CONT%(cn)d_PAGER_VIRTMEM_REGIONS%
CONT%(cn)d_PAGER_VIRT0_START@
CONT%(cn)d_PAGER_VIRT0_END@
CONT%(cn)d_PAGER_VIRT1_START@
CONT%(cn)d_PAGER_VIRT1_END@
CONT%(cn)d_PAGER_VIRT2_START@
CONT%(cn)d_PAGER_VIRT2_END@
CONT%(cn)d_PAGER_VIRT3_START@
CONT%(cn)d_PAGER_VIRT3_END@
CONT%(cn)d_PAGER_VIRT4_START@
CONT%(cn)d_PAGER_VIRT4_END@
CONT%(cn)d_PAGER_VIRT5_START@
CONT%(cn)d_PAGER_VIRT5_END@
menu cont%(cn)d_physmem_list
CONT%(cn)d_PAGER_PHYSMEM_REGIONS%
CONT%(cn)d_PAGER_PHYS0_START@
CONT%(cn)d_PAGER_PHYS0_END@
CONT%(cn)d_PAGER_PHYS1_START@
CONT%(cn)d_PAGER_PHYS1_END@
CONT%(cn)d_PAGER_PHYS2_START@
CONT%(cn)d_PAGER_PHYS2_END@
CONT%(cn)d_PAGER_PHYS3_START@
CONT%(cn)d_PAGER_PHYS3_END@
#
# Settings for Custom Capabilities
#
choices cont%(cn)d_pager_cap_custom0_type
CONT%(cn)d_PAGER_CAP_CUSTOM0_IPC_TYPE
default CONT%(cn)d_PAGER_CAP_CUSTOM0_IPC_TYPE
choices cont%(cn)d_pager_cap_custom1_type
CONT%(cn)d_PAGER_CAP_CUSTOM1_IPC_TYPE
default CONT%(cn)d_PAGER_CAP_CUSTOM1_IPC_TYPE
choices cont%(cn)d_pager_cap_custom2_type
CONT%(cn)d_PAGER_CAP_CUSTOM2_IPC_TYPE
default CONT%(cn)d_PAGER_CAP_CUSTOM2_IPC_TYPE
choices cont%(cn)d_pager_cap_custom3_type
CONT%(cn)d_PAGER_CAP_CUSTOM3_IPC_TYPE
default CONT%(cn)d_PAGER_CAP_CUSTOM3_IPC_TYPE
default CONT%(cn)d_PAGER_CAP_CUSTOM0_USE from n
default CONT%(cn)d_PAGER_CAP_CUSTOM1_USE from n
default CONT%(cn)d_PAGER_CAP_CUSTOM2_USE from n
default CONT%(cn)d_PAGER_CAP_CUSTOM3_USE from n
menu cont%(cn)d_pager_cap_custom0
CONT%(cn)d_PAGER_CAP_CUSTOM0_USE
cont%(cn)d_pager_cap_custom0_type
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET%
menu cont%(cn)d_pager_cap_custom1
CONT%(cn)d_PAGER_CAP_CUSTOM1_USE
cont%(cn)d_pager_cap_custom1_type
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET%
menu cont%(cn)d_pager_cap_custom2
CONT%(cn)d_PAGER_CAP_CUSTOM2_USE
cont%(cn)d_pager_cap_custom2_type
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET%
menu cont%(cn)d_pager_cap_custom3
CONT%(cn)d_PAGER_CAP_CUSTOM3_USE
cont%(cn)d_pager_cap_custom3_type
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET%
choicegroup CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_PAGER
default CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_CONTAINER from y
choicegroup CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_PAGER
default CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_CONTAINER from y
choicegroup CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_PAGER
default CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_CONTAINER from y
choicegroup CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_PAGER
default CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_CONTAINER from y
when CONT%(cn)d_PAGER_CAP_CUSTOM0_USE == n
suppress cont%(cn)d_pager_cap_custom0_type
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM1_USE == n
suppress cont%(cn)d_pager_cap_custom1_type
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM2_USE == n
suppress cont%(cn)d_pager_cap_custom2_type
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM3_USE == n
suppress cont%(cn)d_pager_cap_custom3_type
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM0_IPC_TYPE == n
suppress CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_CONTAINER or
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_PAGER_SPACE
suppress CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM1_IPC_TYPE == n
suppress CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_CONTAINER or
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_PAGER_SPACE
suppress CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM2_IPC_TYPE == n
suppress CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_CONTAINER or
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_PAGER_SPACE
suppress CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM3_IPC_TYPE == n
suppress CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET
when CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_CONTAINER or
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_PAGER_SPACE
suppress CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET
default CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET from 0
default CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET from 0
default CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET from 0
default CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET from 0
# Symbols for Custom Capabilities
symbols
#
# CUSTOM CAPABILITY 0
#
CONT%(cn)d_PAGER_CAP_CUSTOM0_USE 'Enable this Capability' text
Enable/Disable this capability.
.
cont%(cn)d_pager_cap_custom0_type 'Capability Operation Type' text
Specify the type of custom capability.
.
CONT%(cn)d_PAGER_CAP_CUSTOM0_IPC_TYPE 'IPC Capability' text
Capability associated with inter-container and intra-container ipc properties.
.
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_CONTAINER 'Capability targets any thread in this Container' text
Capability targets current container, meaning that the system call associated with this
capability can be used against any address space and thread present inside this container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_CURRENT_PAGER_SPACE 'Capability targets any thread in pager`s address space' text
Capability targets the pager's address space, meaning that the system call associated
with this capability can be used for any thread inside the address space of pager.
.
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_CONTAINER 'Capability Targets Another Container' text
Capability targets another container. This option may be used to allow system calls to work for
entities that exist in other container's. For example an IPC capability with this option would
allow ipc system calls to threads that reside in another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET_OTHER_PAGER 'Capability Targets Another Container`s Pager' text
Capability targets pager of another container. This option may be used to allow system calls to work for
the pager of other containers. For example an IPC capability with this option would
allow ipc system calls to go through to the pager of another container. This is a more
constrained version of targeting another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM0_TARGET 'Enter Container ID' text
Container ID of the container/pager targeted by this capability.
.
#
# CUSTOM CAPABILITY 1
#
CONT%(cn)d_PAGER_CAP_CUSTOM1_USE 'Enable this Capability' text
Enable/Disable this capability.
.
cont%(cn)d_pager_cap_custom1_type 'Capability Operation Type' text
Specify the type of custom capability.
.
CONT%(cn)d_PAGER_CAP_CUSTOM1_IPC_TYPE 'IPC Capability' text
Capability associated with inter-container and intra-container ipc properties.
.
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_CONTAINER 'Capability targets any thread in this Container' text
Capability targets current container, meaning that the system call associated with this
capability can be used against any address space and thread present inside this container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_CURRENT_PAGER_SPACE 'Capability targets any thread in pager`s address space' text
Capability targets the pager's address space, meaning that the system call associated
with this capability can be used for any thread inside the address space of pager.
.
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_CONTAINER 'Capability Targets Another Container' text
Capability targets another container. This option may be used to allow system calls to work for
entities that exist in other container's. For example an IPC capability with this option would
allow ipc system calls to threads that reside in another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET_OTHER_PAGER 'Capability Targets Another Container`s Pager' text
Capability targets pager of another container. This option may be used to allow system calls to work for
the pager of other containers. For example an IPC capability with this option would
allow ipc system calls to go through to the pager of another container. This is a more
constrained version of targeting another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM1_TARGET 'Enter Container ID' text
Container ID of the container/pager targeted by this capability.
.
#
# CUSTOM CAPABILITY 2
#
CONT%(cn)d_PAGER_CAP_CUSTOM2_USE 'Enable this Capability' text
Enable/Disable this capability.
.
cont%(cn)d_pager_cap_custom2_type 'Capability Operation Type' text
Specify the type of custom capability.
.
CONT%(cn)d_PAGER_CAP_CUSTOM2_IPC_TYPE 'IPC Capability' text
Capability associated with inter-container and intra-container ipc properties.
.
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_CONTAINER 'Capability targets any thread in this Container' text
Capability targets current container, meaning that the system call associated with this
capability can be used against any address space and thread present inside this container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_CURRENT_PAGER_SPACE 'Capability targets any thread in pager`s address space' text
Capability targets the pager's address space, meaning that the system call associated
with this capability can be used for any thread inside the address space of pager.
.
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_CONTAINER 'Capability Targets Another Container' text
Capability targets another container. This option may be used to allow system calls to work for
entities that exist in other container's. For example an IPC capability with this option would
allow ipc system calls to threads that reside in another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET_OTHER_PAGER 'Capability Targets Another Container`s Pager' text
Capability targets pager of another container. This option may be used to allow system calls to work for
the pager of other containers. For example an IPC capability with this option would
allow ipc system calls to go through to the pager of another container. This is a more
constrained version of targeting another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM2_TARGET 'Enter Container ID' text
Container ID of the container/pager targeted by this capability.
.
#
# CUSTOM CAPABILITY 3
#
CONT%(cn)d_PAGER_CAP_CUSTOM3_USE 'Enable this Capability' text
Enable/Disable this capability.
.
cont%(cn)d_pager_cap_custom3_type 'Capability Operation Type' text
Specify the type of custom capability.
.
CONT%(cn)d_PAGER_CAP_CUSTOM3_IPC_TYPE 'IPC Capability' text
Capability associated with inter-container and intra-container ipc properties.
.
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_CONTAINER 'Capability targets any thread in this Container' text
Capability targets current container, meaning that the system call associated with this
capability can be used against any address space and thread present inside this container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_CURRENT_PAGER_SPACE 'Capability targets any thread in pager`s address space' text
Capability targets the pager's address space, meaning that the system call associated
with this capability can be used for any thread inside the address space of pager.
.
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_CONTAINER 'Capability Targets Another Container' text
Capability targets another container. This option may be used to allow system calls to work for
entities that exist in other container's. For example an IPC capability with this option would
allow ipc system calls to threads that reside in another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET_OTHER_PAGER 'Capability Targets Another Container`s Pager' text
Capability targets pager of another container. This option may be used to allow system calls to work for
the pager of other containers. For example an IPC capability with this option would
allow ipc system calls to go through to the pager of another container. This is a more
constrained version of targeting another container.
.
CONT%(cn)d_PAGER_CAP_CUSTOM3_TARGET 'Enter Container ID' text
Container ID of the container/pager targeted by this capability.
.
# Symbols for Generic Capabilities
symbols
CONT%(cn)d_PAGER_CAP_IPC_USE 'Enable this Capability' text
Enable/Disable this capability.
.
CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER 'Capability Targets Current Container' text
Capability targets current container, including all spaces and threads present inside this container.
.
CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_PAGER_SPACE 'Capability Targets Current Pager`s Space' text
Capability targets space associated with pager of this container.
.
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_CONTAINER 'Capability Targets Another Container' text
Capability targets pager of another container.
.
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_PAGER 'Capability Targets Another Container`s Pager' text
Capability targets pager of another container.
.
CONT%(cn)d_PAGER_CAP_IPC_TARGET 'Enter Container ID' text
Container ID of the container/pager targeted by this capabilty.
.
CONT%(cn)d_PAGER_CAP_IRQCTRL_USE 'Enable this Capability' text
Enable/Disable this capability.
.
CONT%(cn)d_CAP_IPC_TARGET_CURRENT_CONTAINER 'Capability targets any thread in this Container' text
Capability targets current container, meaning that the system call associated with this
capability can be used against any address space and thread present inside this container.
.
CONT%(cn)d_CAP_IPC_TARGET_CURRENT_PAGER_SPACE 'Capability targets any thread in pager`s address space' text
Capability targets the pager's address space, meaning that the system call associated
with this capability can be used for any thread inside the address space of pager.
.
CONT%(cn)d_CAP_IPC_TARGET_OTHER_CONTAINER 'Capability Targets Another Container' text
Capability targets another container. This option may be used to allow system calls to work for
entities that exist in other container's. For example an IPC capability with this option would
allow ipc system calls to threads that reside in another container.
.
CONT%(cn)d_CAP_IPC_TARGET_OTHER_PAGER 'Capability Targets Another Container`s Pager' text
Capability targets pager of another container. This option may be used to allow system calls to work for
the pager of other containers. For example an IPC capability with this option would
allow ipc system calls to go through to the pager of another container. This is a more
constrained version of targeting another container.
.
CONT%(cn)d_CAP_IPC_USE 'Enable this Capability' text
Enable/Disable this capability.
.
CONT%(cn)d_CAP_IPC_TARGET 'Enter Container ID' text
Container ID of the container/pager targeted by this capabilty.
.
symbols
CONT%(cn)d_PAGER_CAP_THREADPOOL_SIZE 'Number of Threads' text
Total number of threads in this pool.
.
CONT%(cn)d_PAGER_CAP_SPACEPOOL_SIZE 'Number of Address Spaces' text
Total number of spaces in this pool.
.
CONT%(cn)d_PAGER_CAP_MAPPOOL_SIZE 'Number of PMD Mappings' text
Total number of pmds(E.g. Middle-level Page Tables) in this pool.
.
CONT%(cn)d_PAGER_CAP_MUTEXPOOL_SIZE 'Number of Userspace Mutexes' text
Total number of mutexes in this pool.
.
CONT%(cn)d_CAP_MUTEXPOOL_SIZE 'Number of Userspace Mutexes' text
Total number of mutexes in this pool.
.
CONT%(cn)d_PAGER_CAP_THREADPOOL_USE 'Enable this Capability' text
Enable/Disable this capability.
.
CONT%(cn)d_PAGER_CAP_SPACEPOOL_USE 'Enable this Capability' text
Enable/Disable this capability.
.
CONT%(cn)d_PAGER_CAP_MAPPOOL_USE 'Enable this Capability' text
Enable/Disable this capability.
.
CONT%(cn)d_PAGER_CAP_MUTEXPOOL_USE 'Enable this Capability' text
Enable/Disable this capability.
.
CONT%(cn)d_CAP_MUTEXPOOL_USE 'Enable this Capability' text
Enable/Disable this capability.
.
cont%(cn)d_pager_cap_threadpool 'Container %(cn)d Thread Pool Capability' text
It controls the number of threads allowed to be created in the container.
.
cont%(cn)d_pager_cap_spacepool 'Container %(cn)d Space Pool Capability' text
It controls the number of spaces allowed to be created in the container.
.
cont%(cn)d_pager_cap_mutexpool 'Container %(cn)d Mutex Pool Capability' text
It controls the number of mutex allowed to be created and used in the container.
.
cont%(cn)d_cap_mutexpool 'Container %(cn)d Mutex Pool Capability' text
It controls the number of mutex allowed to be created and used in the container.
.
cont%(cn)d_pager_cap_mappool 'Container %(cn)d Map Pool Capability' text
It defines the mapping pools/caches for various kinds of structures used in the container.
.
cont%(cn)d_pager_cap_ipc 'Container %(cn)d IPC Capability' text
Capability associated with inter-container and intra-container ipc permissions.
.
cont%(cn)d_cap_ipc 'Container %(cn)d IPC Capability' text
Capability associated with inter-container and intra-container ipc permissions.
.
cont%(cn)d_pager_cap_irqctrl 'Container %(cn)d IRQ Control Capability' text
Capability associated with irq control features and permissions.
.
cont%(cn)d_pager_cap_custom0 'Container %(cn)d Custom Capability 0 Parameters' text
Custom capability.
.
cont%(cn)d_pager_cap_custom1 'Container %(cn)d Custom Capability 1 Parameters' text
Custom capability.
.
cont%(cn)d_pager_cap_custom2 'Container %(cn)d Custom Capability 2 Parameters' text
Custom capability.
.
cont%(cn)d_pager_cap_custom3 'Container %(cn)d Custom Capability 3 Parameters' text
Custom capability.
.
cont%(cn)d_pager_capability_list 'Container %(cn)d Pager Capabilities' text
List of capabilities associated with Container%(cn)d's Pager task
.
cont%(cn)d_capability_list 'Container %(cn)d Global Capabilities' text
List of capabilities globally associated with all tasks inside Container%(cn)d.
These capabilities can be used by tasks inside Container%(cn)d.
.
default CONT%(cn)d_PAGER_CAP_THREADPOOL_SIZE from 64
default CONT%(cn)d_PAGER_CAP_SPACEPOOL_SIZE from 64
default CONT%(cn)d_PAGER_CAP_MAPPOOL_SIZE from 800
default CONT%(cn)d_PAGER_CAP_MUTEXPOOL_SIZE from 100
default CONT%(cn)d_CAP_MUTEXPOOL_SIZE from 100
default CONT%(cn)d_PAGER_CAP_THREADPOOL_USE from y
default CONT%(cn)d_PAGER_CAP_SPACEPOOL_USE from y
default CONT%(cn)d_PAGER_CAP_MAPPOOL_USE from y
default CONT%(cn)d_PAGER_CAP_MUTEXPOOL_USE from y
default CONT%(cn)d_CAP_MUTEXPOOL_USE from y
# Use Rules for Generic Capabilities
when CONT%(cn)d_PAGER_CAP_THREADPOOL_USE == n
suppress CONT%(cn)d_PAGER_CAP_THREADPOOL_SIZE
when CONT%(cn)d_PAGER_CAP_SPACEPOOL_USE == n
suppress CONT%(cn)d_PAGER_CAP_SPACEPOOL_SIZE
when CONT%(cn)d_PAGER_CAP_MAPPOOL_USE == n
suppress CONT%(cn)d_PAGER_CAP_MAPPOOL_SIZE
when CONT%(cn)d_PAGER_CAP_MUTEXPOOL_USE == n
suppress CONT%(cn)d_PAGER_CAP_MUTEXPOOL_SIZE
when CONT%(cn)d_CAP_MUTEXPOOL_USE == n
suppress CONT%(cn)d_CAP_MUTEXPOOL_SIZE
when CONT%(cn)d_PAGER_CAP_IPC_USE == n
suppress CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_PAGER
when CONT%(cn)d_CAP_IPC_USE == n
suppress CONT%(cn)d_CAP_IPC_TARGET_CURRENT_CONTAINER
CONT%(cn)d_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_CAP_IPC_TARGET_OTHER_CONTAINER
CONT%(cn)d_CAP_IPC_TARGET_OTHER_PAGER
when CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER or
CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
suppress CONT%(cn)d_PAGER_CAP_IPC_TARGET
when CONT%(cn)d_CAP_IPC_TARGET_CURRENT_CONTAINER or
CONT%(cn)d_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
suppress CONT%(cn)d_CAP_IPC_TARGET
choicegroup CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_PAGER
default CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER from y
choicegroup CONT%(cn)d_CAP_IPC_TARGET_CURRENT_CONTAINER
CONT%(cn)d_CAP_IPC_TARGET_OTHER_CONTAINER
CONT%(cn)d_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_CAP_IPC_TARGET_OTHER_PAGER
default CONT%(cn)d_CAP_IPC_TARGET_CURRENT_CONTAINER from y
default CONT%(cn)d_PAGER_CAP_IPC_USE from y
default CONT%(cn)d_PAGER_CAP_IRQCTRL_USE from y
default CONT%(cn)d_CAP_IPC_USE from y
default CONT%(cn)d_PAGER_CAP_IPC_TARGET from 0
default CONT%(cn)d_CAP_IPC_TARGET from 0
# Capability Menus
menu cont%(cn)d_pager_cap_irqctrl
CONT%(cn)d_PAGER_CAP_IRQCTRL_USE
menu cont%(cn)d_pager_cap_ipc
CONT%(cn)d_PAGER_CAP_IPC_USE
CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER
CONT%(cn)d_PAGER_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_CONTAINER
CONT%(cn)d_PAGER_CAP_IPC_TARGET_OTHER_PAGER
CONT%(cn)d_PAGER_CAP_IPC_TARGET%
menu cont%(cn)d_pager_cap_threadpool
CONT%(cn)d_PAGER_CAP_THREADPOOL_USE
CONT%(cn)d_PAGER_CAP_THREADPOOL_SIZE%
menu cont%(cn)d_pager_cap_spacepool
CONT%(cn)d_PAGER_CAP_SPACEPOOL_USE
CONT%(cn)d_PAGER_CAP_SPACEPOOL_SIZE%
menu cont%(cn)d_pager_cap_mappool
CONT%(cn)d_PAGER_CAP_MAPPOOL_USE
CONT%(cn)d_PAGER_CAP_MAPPOOL_SIZE%
menu cont%(cn)d_pager_cap_mutexpool
CONT%(cn)d_PAGER_CAP_MUTEXPOOL_USE
CONT%(cn)d_PAGER_CAP_MUTEXPOOL_SIZE%
menu cont%(cn)d_pager_capability_list
cont%(cn)d_pager_cap_threadpool
cont%(cn)d_pager_cap_spacepool
cont%(cn)d_pager_cap_mutexpool
cont%(cn)d_pager_cap_mappool
cont%(cn)d_pager_cap_ipc
cont%(cn)d_pager_cap_irqctrl
cont%(cn)d_pager_cap_custom0
cont%(cn)d_pager_cap_custom1
cont%(cn)d_pager_cap_custom2
cont%(cn)d_pager_cap_custom3
menu cont%(cn)d_cap_ipc
CONT%(cn)d_CAP_IPC_USE
CONT%(cn)d_CAP_IPC_TARGET_CURRENT_CONTAINER
CONT%(cn)d_CAP_IPC_TARGET_CURRENT_PAGER_SPACE
CONT%(cn)d_CAP_IPC_TARGET_OTHER_CONTAINER
CONT%(cn)d_CAP_IPC_TARGET_OTHER_PAGER
CONT%(cn)d_CAP_IPC_TARGET%
menu cont%(cn)d_cap_mutexpool
CONT%(cn)d_CAP_MUTEXPOOL_USE
CONT%(cn)d_CAP_MUTEXPOOL_SIZE%
menu cont%(cn)d_capability_list
cont%(cn)d_cap_ipc
cont%(cn)d_cap_mutexpool
# menu cont%(cn)d_pager_params
menu container%(cn)d_options
CONT%(cn)d_OPT_NAME$
cont%(cn)d_baremetal_params
# cont%(cn)d_pager_params
cont%(cn)d_linux_pager_params
cont%(cn)d_pager_linker_params
cont%(cn)d_posix_pager_params
cont%(cn)d_physmem_list
cont%(cn)d_virtmem_list
cont%(cn)d_pager_capability_list
cont%(cn)d_capability_list
choices container%(cn)d_type
CONT%(cn)d_TYPE_BAREMETAL
CONT%(cn)d_TYPE_POSIX
CONT%(cn)d_TYPE_LINUX
default CONT%(cn)d_TYPE_BAREMETAL
menu cont%(cn)d_menu
container%(cn)d_type
container%(cn)d_options
Reference in New Issue View Git Blame Copy Permalink