13 Aug
2014
13 Aug
'14
9:02 a.m.
"Alex" == Alex Chih Hu huzhi20060302@gmail.com 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