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