Alexander Boettcher d511b09aef sel4: adjust syscall patch to fPIC define ... Use same patch as the one going upstream on seL4 soon.		2016-08-30 17:17:19 +02:00
..
dev_mem_4k.patch	sel4: disable large mappings for device memory	2016-08-10 11:07:54 +02:00
dev_mem.patch	sel4: update to 3.2.0	2016-08-10 11:07:56 +02:00
ioapic.patch	sel4: update to 3.2.0	2016-08-10 11:07:56 +02:00
noise.patch	sel4: avoid corruption during ipc marshalling	2016-08-10 11:07:55 +02:00
root_cnode.patch	sel4: update to 3.2.0	2016-08-10 11:07:56 +02:00
syscall.patch	sel4: adjust syscall patch to fPIC define	2016-08-30 17:17:19 +02:00