Hello Norman,
We are trying to enable the rump kernel in Genode. However, we are facing a problem with libc_fs. We are able to locate it in the codebase, but it is not getting included for some reason. Is there any way to enable libc_fs?
Thanks,
-- Best regards, Swaminathan Ramesh