ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 23:54:14 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,516 Commits 2 Branches 70 Tags 88 MiB
Commit Graph

2 Commits

Author SHA1 Message Date
Norman Feske
807be83b1b Remove inconsistent use of 'is_' prefix 
Fixes #1963
 2016-05-23 15:52:39 +02:00
Christian Prochaska
ea726a1f48 libc: pipe plugin 
A libc plugin which implements pipes using a ring buffer.

Fixes #1947
 2016-05-23 15:52:35 +02:00