23 Feb
2019
23 Feb
'19
12:35 a.m.
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