platform/sel4/simple.c

17 #include <rumprun/custom_simple.h>
108 int custom_simple_vspace_bootstrap_frames(custom_simple_t *custom_simple, vspace_t *vspace, sel4utils_alloc_data_t *alloc_data,
111     if (custom_simple->camkes) {
115         return sel4utils_bootstrap_vspace(vspace, alloc_data, simple_get_pd(custom_simple->simple), vka,
119     init_data_t *init_data = custom_simple->simple->data;
134     return sel4utils_bootstrap_vspace(vspace, alloc_data, simple_get_pd(custom_simple->simple), vka,
139 int custom_get_priority(custom_simple_t *custom_simple)
141     return custom_simple->priority;
144 const char *custom_get_cmdline(custom_simple_t *custom_simple)
146     return custom_simple->cmdline;
165 int custom_get_num_regions(custom_simple_t *custom_simple)
167     if (custom_simple->camkes) {
170     init_data_t *init_data = custom_simple->simple->data;
183 int custom_get_region_list(custom_simple_t *custom_simple, int num_regions, pmem_region_t *regions)
185     if (custom_simple->camkes) {
188     init_data_t *init_data = custom_simple->simple->data;
215 void simple_init_rumprun(custom_simple_t *custom_simple, seL4_CPtr endpoint)
220     simple_t *simple = custom_simple->simple;
221     custom_simple->camkes = false;
222     custom_simple->cmdline = init_data->cmdline;
223     custom_simple->priority = init_data->priority;
224     custom_simple->rumprun_memory_size = init_data->rumprun_memory_size;
225     custom_simple->timer_config.timer_ntfn = init_data->timer_signal;
226     custom_simple->timer_config.timer = TIMER_LTIMER;
227     custom_simple->timer_config.tsc_freq = init_data->tsc_freq;
228     custom_simple->serial_config.serial = SERIAL_SERVER;
229     custom_simple->rpc_ep = init_data->rpc_ep;
230     custom_simple->serial_config.ep = init_data->serial_ep;
232         custom_simple->stdio_buf[i] = init_data->stdio[i];
233         custom_simple->stdio_ep[i] = init_data->stdio_eps[i];
235     custom_simple->get_char_handler = NULL;