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 <[email protected]> on behalf of Sreenadh S <[email protected]> Sent: Saturday, 23 February 2019 12:35 AM To: [email protected]; [email protected] Subject: [seL4] speed up sel4 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
