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 ________________________________ From: Devel <[email protected]> on behalf of Leonid Meyerovich <[email protected]> Sent: Thursday, 16 August 2018 6:43 AM To: [email protected] Subject: [seL4] create process in seL4 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 ________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
