This website requires JavaScript.
Explore
Help
Sign In
alex
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
Files
9a8a42e819c9cdeaa4a6b1322f40ceec608624a2
genode
/
repos
/
os
/
doc
History
Norman Feske
cb5b688eb9
Remove <configfile> feature from init
...
Fixes
#3753
2020-05-18 10:16:13 +02:00
..
init.txt
Remove <configfile> feature from init
2020-05-18 10:16:13 +02:00