Dear Genode team,
I am Kimbelly. I tried this commands : $ ./tool/create_builddir rpi $ make run/demo KERNEL=hw I could run the demo on Rpi 1 B+ (ARM v6) but the mouse pointer didn't work. I don't know what happen... (I have uncommented the dde_linux)
Another question is now what kind of the ARM boards that you recommend ?
Thanks a lot ! 😊