ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-27 09:12:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
ff06361c71
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