Hi, 

I am trying to write/read  file  using Genode and RPi.

could you guide me how i can start? 

best,