This is sel4test trying to allocate huge amounts of memory. To change it, you can change
to use a
smaller size_bits value to start looking at.
From: Devel <devel-bounces(a)sel4.systems> on behalf of Sreenadh S
Sent: Saturday, 23 February 2019 12:35 AM
To: devel(a)sel4.systems; heshamelmatary(a)gmail.com
Subject: [seL4] speed up sel4
When running sel4 in my processor it is taking too long to get this line
"email@example.com: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
CDAC, Trivandrum, India