> 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
mailto:lmeyero
Hello
I have a linking problem in the picoserver CAmkES-application which was added 2
days ago.
Steps I did:
1) repo init -u https://github.com/seL4/camkes-manifest.git
2) repo sync
3) start docker container
4) (in new subfolder) ../init-build.sh -DPLATFORM=x86_64 -DSIMULATION=1
-DCAMKES_APP=p
