Hello,
Is there any way in seL4 (library function?) to check free heap memory?
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 ot
At 2019-04-17T12:21:41+, Leonid Meyerovich wrote:
> Is there any way in seL4 (library function?) to check free heap memory?
My understanding is that there is not, because the seL4 microkernel does
not implement a memory manager. A malloc()-style memory manager is not
considered an essential s
Banden’s answer is correct, tl;dr you cannot check the available space in the
kernel heap as there is no kernel heap.
However, Leonid's initial question was somewhat ambiguous. The various seL4
userland frameworks inevitably provide their own (usually pretty
unsophisticated) memory managers, wh
eonid
-Original Message-
From: Devel On Behalf Of Heiser, Gernot (Data61,
Kensington NSW)
Sent: Wednesday, April 24, 2019 2:18 AM
To: devel@sel4.systems
Subject: Re: [seL4] seL4 process memory utilization
Banden’s answer is correct, tl;dr you cannot check the available space in the
kernel heap as
> On 24 Apr 2019, at 07:20, Leonid Meyerovich wrote:
>
> Yes, I, probably, was not specific enough. My question was not about kernel
> memory.
> I'd like to have something to support memory leak investigation, for the
> memory which is allocated by malloc (libmuslc library).
> BTW, how libmus
Thank you, I’ll look into it.
From: Matthew Fernandez
Sent: Thursday, April 25, 2019 11:15 AM
To: Leonid Meyerovich
Cc: Heiser, Gernot (Data61, Kensington NSW) ;
devel@sel4.systems
Subject: Re: [seL4] seL4 process memory utilization
On 24 Apr 2019, at 07:20, Leonid Meyerovich
