genode/repos/base-pistachio/lib
Sebastian Sumpf e0ed7c3cd0 base-pistachio: Add syscall library support
Makes old l4 library obsolete

Issue #1280
2014-10-30 13:36:13 +01:00
..
mk base-pistachio: Add syscall library support 2014-10-30 13:36:13 +01:00