Files
genode-world/include/remote_rom/backend_base.h