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