Dear Genode team,
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
Hi Kimberly,
On Tue, Sep 03, 2019 at 02:29:25PM +0800, kimberly nNA wrote:
Dear Genode team,
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 ?
At Genode Labs there is no plan to support it in the near future. But maybe Tomasz is planning to do so?
Apart from that, I can imagine that introducing limited support for rpi 4 is pretty much straight forward work to do, now that ARMv8 is integral part of the Genode OS framework (see release 19.08 that includes rpi 3 support in our own kernel). If you like to try it on your own, I'll be glad to support you.
Best regards Stefan
Thanks.
Sincerely, Kimberly
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Hi,
Thank you so much. I tried it : genode 19.08 $ make run/demo KERNEL=hw $ /usr/local/genode/tool/19.05/bin/genode-aarch64-objcopy -Obinary image.elf armv8a_1908_demo.img
Build success but failed to run demo on rpi 3 B+... (Raspberry pi3+ stuck on rainbow screen.)
Best regards Kimberly
Stefan Kalkowski stefan.kalkowski@genode-labs.com 於 2019年9月3日 週二 下午4:51寫道：
Hi Kimberly,
On Tue, Sep 03, 2019 at 02:29:25PM +0800, kimberly nNA wrote:
Dear Genode team,
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 ?
At Genode Labs there is no plan to support it in the near future. But maybe Tomasz is planning to do so?
Apart from that, I can imagine that introducing limited support for rpi 4 is pretty much straight forward work to do, now that ARMv8 is integral part of the Genode OS framework (see release 19.08 that includes rpi 3 support in our own kernel). If you like to try it on your own, I'll be glad to support you.
Best regards Stefan
Thanks.
Sincerely, Kimberly
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
-- Stefan Kalkowski Genode labs
https://github.com.skalk | https://genode.org
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Hi Kimberly,
On Tue, Sep 03, 2019 at 06:09:35PM +0800, kimberly nNA wrote:
Hi,
Thank you so much. I tried it : genode 19.08 $ make run/demo KERNEL=hw $ /usr/local/genode/tool/19.05/bin/genode-aarch64-objcopy -Obinary image.elf armv8a_1908_demo.img
Build success but failed to run demo on rpi 3 B+... (Raspberry pi3+ stuck on rainbow screen.)
the demo run-script is not intended to work on rpi 3 B+, because the framebuffer driver is missing, but more important the USB-HID driver won't work right now. This is part of a long-term investigation done when time permits, see:
https://github.com/genodelabs/genode/issues/3247
But you can run less I/O bound test scripts to see whether the kernel and non-drivers are working in general, e.g., the log.run script.
Best regards Stefan
Best regards Kimberly
Stefan Kalkowski stefan.kalkowski@genode-labs.com 於 2019年9月3日 週二 下午4:51寫道：
Hi Kimberly,
On Tue, Sep 03, 2019 at 02:29:25PM +0800, kimberly nNA wrote:
Dear Genode team,
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 ?
At Genode Labs there is no plan to support it in the near future. But maybe Tomasz is planning to do so?
Apart from that, I can imagine that introducing limited support for rpi 4 is pretty much straight forward work to do, now that ARMv8 is integral part of the Genode OS framework (see release 19.08 that includes rpi 3 support in our own kernel). If you like to try it on your own, I'll be glad to support you.
Best regards Stefan
Thanks.
Sincerely, Kimberly
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
-- Stefan Kalkowski Genode labs
https://github.com.skalk | https://genode.org
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Stefan Kalkowski stefan.kalkowski@genode-labs.com writes:
Hi Kimberly,
On Tue, Sep 03, 2019 at 02:29:25PM +0800, kimberly nNA wrote:
Dear Genode team,
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 ?
At Genode Labs there is no plan to support it in the near future. But maybe Tomasz is planning to do so?
I did not have any free time in summer months but I hope I'll be able to get back to work on rpi support. Support for rpi 4 is something I'd like to work on too but it is a little further on my todo list - mostly because I think it will take more time.
Regards Tomasz
-
kimberly nNA -
Stefan Kalkowski -
Tomasz Gajewski