include/sel4utils/process_config.h

68 static inline sel4utils_process_config_t process_config_asid_pool(sel4utils_process_config_t config,
71     config.asid_pool = asid_pool;
72     return config;
75 static inline sel4utils_process_config_t process_config_auth(sel4utils_process_config_t config, seL4_CPtr auth)
77     config.sched_params.auth = auth;
78     return config;
83     sel4utils_process_config_t config = {0};
84     config = process_config_auth(config, simple_get_tcb(simple));
85     return process_config_asid_pool(config, simple_get_init_cap(simple, seL4_CapInitThreadASIDPool));
88 static inline sel4utils_process_config_t process_config_elf(sel4utils_process_config_t config, const char *image_name,
91     config.is_elf = true;
92     config.image_name = image_name;
93     config.do_elf_load = preload;
94     return config;
97 static inline sel4utils_process_config_t process_config_noelf(sel4utils_process_config_t config, void *entry_point,
100     config.is_elf = false;
101     config.entry_point = entry_point;
102     config.sysinfo = sysinfo;
103     return config;
106 static inline sel4utils_process_config_t process_config_cnode(sel4utils_process_config_t config, vka_object_t cnode)
108     config.create_cspace = false;
109     config.cnode = cnode;
110     return config;
113 static inline sel4utils_process_config_t process_config_create_cnode(sel4utils_process_config_t config, int size_bits)
115     config.create_cspace = true;
116     config.one_level_cspace_size_bits = size_bits;
117     return config;
120 static inline sel4utils_process_config_t process_config_vspace(sel4utils_process_config_t config, vspace_t *vspace,
123     config.create_vspace = false;
124     config.vspace = vspace;
125     config.page_dir = page_dir;
126     return config;
129 static inline sel4utils_process_config_t process_config_create_vspace(sel4utils_process_config_t config,
133     config.create_vspace = true;
134     config.reservations = reservations;
135     config.num_reservations = num_reservations;
136     return config;
139 static inline sel4utils_process_config_t process_config_priority(sel4utils_process_config_t config, uint8_t priority)
141     config.sched_params.priority = priority;
142     return config;
145 static inline sel4utils_process_config_t process_config_mcp(sel4utils_process_config_t config, uint8_t mcp)
147     config.sched_params.mcp = mcp;
148     return config;
151 static inline sel4utils_process_config_t process_config_create_fault_endpoint(sel4utils_process_config_t config)
153     config.create_fault_endpoint = true;
154     return config;
157 static inline sel4utils_process_config_t process_config_fault_endpoint(sel4utils_process_config_t config,
160     config.fault_endpoint = fault_endpoint;
161     config.create_fault_endpoint = false;
162     return config;
165 static inline sel4utils_process_config_t process_config_fault_cptr(sel4utils_process_config_t config,
168     config.fault_endpoint.cptr = fault_cptr;
169     config.create_fault_endpoint = false;
170     return config;
175     sel4utils_process_config_t config = {0};
176     config = process_config_asid_pool(config, asid_pool);
177     config = process_config_elf(config, image_name, true);
178     config = process_config_create_cnode(config, CONFIG_SEL4UTILS_CSPACE_SIZE_BITS);
179     config = process_config_create_vspace(config, NULL, 0);
180     return process_config_create_fault_endpoint(config);
186     sel4utils_process_config_t config = process_config_new(simple);
187     config = process_config_elf(config, image_name, true);
188     config = process_config_create_cnode(config, CONFIG_SEL4UTILS_CSPACE_SIZE_BITS);
189     config = process_config_create_vspace(config, NULL, 0);
190     config = process_config_create_fault_endpoint(config);
194         config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
197     return process_config_priority(config, prio);