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 ! 😊