• _rmgr_pager_id : pager.c
• app_bss_dsm : dm-if.c , dm-if.h
• app_data_dsm : dm-if.h , dm-if.c
• app_dsm_id : dm-if.c , dm-if.h
• app_image_dsm : dm-if.h , dm-if.c
• app_next_free : app.c
• app_pager_id : pager.c , pager.h
• app_stack_dsm : dm-if.c , dm-if.h
• app_text_dsm : dm-if.c , dm-if.h
• kip : pager.c
• l4libc_heapsize : server/src/main.c
• l4thread_max_threads : server/src/main.c
• l4thread_stack_size : server/src/main.c
• LOG_tag : server/src/main.c
• pager_map_addr_4K : pager.c
• pager_map_addr_4M : pager.c
• use_events : app.c , server/src/main.c