When running sel4 in my processor it is taking too long to get this line "[email protected]: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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
