Hi Anna,
I’d like to create process with particular size of CSpace and VSpace.
CSpace size is defined in ‘config’ structure, I can set
config.one_level_cspace_size_bits member.
I am not sure how to set up VSpace size through ‘reservations’ and
‘num_reservations’ values? Let’s say I need to give to new process 10Mb virtual
space.
static inline sel4utils_process_config_t
process_config_create_vspace(sel4utils_process_config_t config,
sel4utils_elf_region_t *reservations, int num_reservations)
{
config.create_vspace = true;
config.reservations = reservations;
config.num_reservations = num_reservations;
return config;
}
Thank you,
Leonid
From: [email protected] <[email protected]>
Sent: Wednesday, August 15, 2018 8:37 PM
To: Leonid Meyerovich <[email protected]>; [email protected]
Subject: Re: create process in seL4
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]<mailto:[email protected]>> on
behalf of Leonid Meyerovich
<[email protected]<mailto:[email protected]>>
Sent: Thursday, 16 August 2018 6:43 AM
To: [email protected]<mailto:[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.
________________________________
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
