>>>>> "Alex" == Alex Chih Hu <[email protected]> writes:
Alex> I download seL4test, and then run it. Is the log correct? Yes it's correct. Those allocation failures are where the sel4test driver is allocating untyped memory until it fails, then retrying with a smaller size, from allocate_untypeds() in apps/sel4test-driver/src/main.c It's called from populate_untypeds() with the initial size requested as UINT_MAX, to get all memory into the allocation pool. -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
