Hi Leonid,
I don't understand your first question, which untyped are you wanting to adjust the size of?
As for the second question, you can take a look at the sel4bench project, where all created processes use the same function to get a working allocator through the libsel4benchsupport library bundled with the project [1].
We're aware we need more tutorials and I'll add this to the list of desired seL4 tutorials.
Thanks
Anna.
[1] https://github.com/seL4/sel4bench/blob/master/libsel4benchsupport/src/support.c#L390
Hello,
Is there any way to define untyped size while creating process using library functions?
process_config_default_simple(simple_t *simple, const char *image_name, uint8_t prio)
sel4utils_configure_process_custom(sel4utils_process_t *process, vka_t *vka, vspace_t *spawner_vspace, sel4utils_process_config_t config)
The second question is how to initialize allocator (probably I should use bootstrap_use_current_1level, but how where should I get parameters?) in created process to support memory allocation operations?
Thank you,
Leonid