Hi Steve, great to see that you are getting started! I am afraid that this forum is pretty much deserted. To reach the community, please post to the mailing list instead: http://genode.org/community/mailing-lists See you at the mailing list! :-) Norman
You can find the principal steps described at the following issue: https://github.com/genodelabs/genode/issues/1552...
Hi Pirmin, would Genode::snprintf(dst, sizeof(dst), "%s%s", string1, string2) do...
Thank you for pointing us to the rkt project. Nothing is set in stone. The direction...
Hi Mauro, I think you are walking on new ground. So far, we used TrustZone mainly...
Given that your original question about the SD-card access is resolved, wouldn't...
I agree that it's reasonable to keep the discussion consistent at one place. About...
Btw, what to you think about taking the discussions to the Genode mailing list, which...
Please note that the two-linux-panda scenario is just a tech demo, not a usable system....
The virtualized Linux accesses the block device via custom block stub driver, which...
Hello, I suspect that the problem is related to a current discussion on our mailing...
There seem to be two problems. First, as you already subspect, the quota assigned...
We haven't used the board revision EX (I actually haven't heard of this revision...
Hello, first, let me recommend you to join our mailing list where you will reach...
Hi Marco, welcome to Genode! Regarding your question about obtaining time information,...