ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
d511b09aef
genode/repos/base-sel4/ports/sel4.hash
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

2 lines
41 B
Plaintext
Raw Blame History

2b60b5d96865ba4f4d362a80729af31305d13a31
Reference in New Issue View Git Blame Copy Permalink