12 Jun
2015
12 Jun
'15
4:28 a.m.
What is the state of file permissions in Genode? And what is the plan for the future?