On  rpi 3 B+, and genode version is https://github.com/tomga/genode/tree/rpi3bplus_19.02

In this case, it can run demo.run.

How about rpi 4 ?

Will you support this ARM board ?

Thanks. 

Sincerely,

Kimberly