11 Oct
2016
11 Oct
'16
11:06 a.m.
Hi I am working with sel4-tutorials and wanted to spawn a new process using int sel4utils_configure_process_custom(sel4utils_process_t *process, vka_t *target_vka, vspace_t *spawner_vspace, sel4utils_process_config_t config); However, I am not able to understand some of the details required to initialize the parameter config used in the function. Can someone give me link to an example of sorts where this is used. Regards Andrew Mine
2927
Age (days ago)
2927
Last active (days ago)
0 comments
1 participants
participants (1)
-
Andrew Mine