Hi Sreenadh,


This is sel4test trying to allocate huge amounts of memory. To change it, you can change this line: https://github.com/seL4/sel4test/blob/master/apps/sel4test-driver/src/main.c#L162 to use a smaller size_bits value to start looking at. 


Cheers

Anna.

From: Devel <devel-bounces@sel4.systems> on behalf of Sreenadh S <sreenadhsurya@gmail.com>
Sent: Saturday, 23 February 2019 12:35 AM
To: devel@sel4.systems; heshamelmatary@gmail.com
Subject: [seL4] speed up sel4
 
When running sel4 in my processor it is taking too long to get this line

"vka_alloc_object_at_maybe_dev@object.h:65 Failed to allocate object of size 268435456, error 1"

Is there any options to reduce allocation object size?

Or any other methods to speed up

Regards,

Sreenadh S

CDAC, Trivandrum, India