Hi, In the wiki describing how to build Genode on OKL4, does the bug alert refer to following message: An error occurred: [Errno 2] No such file or directory: 'config'? I've followed the build instructions, and i've changed the value as suggested as the quick fix, but I still get this error. As usual, any help would be greatly appreciated. Peter