Yanyan Shen 1399527956 libsel4: use seL4_Word to avoid packing on architectures where int is not the machine size		2016-01-12 10:58:09 +11:00
..
sel4.xml	libsel4: use seL4_Word to avoid packing on architectures where int is not the machine size	2016-01-12 10:58:09 +11:00