Dear Genode team, I am Kimberly.

I modified and added "textedit" on demo.run The link below is about the complete content of demo.run, textedit.config, runtime log, and also a result graph. https://docs.google.com/document/d/1gtQJOXG3IK2_h5xV5CLI1zy54Vil_Xu6HSJ3My6d...

The genode version is https://github.com/tomga/genode/tree/rpi3bplus_19.02 I tried this commands : $ ./tool/create_builddir *rpi3bplus* $ make run/demo KERNEL=hw This case successfully run on Rpi3 B+ But it had some errors when running textedit. I used USB to TTL Serial Cable to see the runtime log : =========================================== ... [init -> launchpad] starting textedit with quota 177873K [init -> launchpad] using unique child name "textedit" [init -> launchpad] Warning: textedit: service File_system not available [init -> launchpad -> textedit] Error: File_system-session creation failed (ram_quota=163840, cap_quota=12, tx_buf_size=131072, label="rw", root="", writeable=1) [init -> launchpad -> textedit] Error: failed to create <fs> VFS node [init -> launchpad -> textedit] Error: label="rw" ... ============================================

because of the errors, I couldn't "save" a new file. I wrote the config of "ram_fs" in demo.run : <start name="ram_fs"> <resource name="RAM" quantum="10M"/> <provides><service name="File_system"/></provides> <config> <!-- constrain sessions according to their labels --> <policy label="textedit -> root" root="/" /> </config> </start>

something wrong with the node ? I am not familiar with writing the 'policy'.

Thanks a lot ! 😊