This website requires JavaScript.
Explore
Help
Sign In
ehmry
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
f52eec5af7
genode
/
repos
/
dde_bsd
/
run
History
Christian Helmuth
b9834bc388
Rename Linux audio driver to linux_audio_drv
...
Related to
#2190
Fixes
#2278
2017-03-15 12:32:27 +01:00
..
audio_in.run
Build dynamically linked executables by default
2016-12-14 11:22:27 +01:00
audio_out.run
Rename Linux audio driver to linux_audio_drv
2017-03-15 12:32:27 +01:00