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
..
sel4.hash	sel4: adjust syscall patch to fPIC define	2016-08-30 17:17:19 +02:00
sel4.port	sel4: update to 3.2.0	2016-08-10 11:07:56 +02:00