[dark_star]

Practically speaking, "farther ahead" may mean different things to different people. I tried to find a list of boards, systems on a chip (SoCs), or CPUs that Genode supports. There's no master list [1] but you can go digging through the handful of architecture-specific github repos. [2] The number of actually supported SoCs and boards is very limited.

NuttX and Zephyr both support a large number of SoCs and boards [3][4], and they each have a single git repo with a configuration system that lets you build different boards from that single repo. In terms of practical ease of use for hobby and commercial projects, I would say these projects are both far ahead of Genode if your hardware is not supported by Genode and is supported by either NuttX or Zephyr.

[1] https://genode.org/documentation/platforms/index

[2] https://github.com/orgs/genodelabs/repositories

[3] NuttX supported platforms: https://nuttx.apache.org/docs/latest/platforms/index.html

[4] Zephyr supported platforms: https://docs.zephyrproject.org/3.2.0/boards/index.html

[snvzz]

>Practically speaking, "farther ahead" may mean different things to different people.

I completely agree, yet in this case what is meant is pretty clear: Pinephone support.

And Genode is far ahead in Pinephone support.