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 Ge

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 https://genode.org/documentation/platforms/index [2] https://github.com/orgs/genodelabs/repositories https://github.com/orgs/genodelabs/repositories [3] NuttX supported platforms: https://nuttx.apache.org/docs/latest/platforms/index.html https://nuttx.apache.org/docs/latest/platforms/index.html [4] Zephyr supported platforms: https://docs.zephyrproject.org/3.2.0/boards/index.html https://docs.zephyrproject.org/3.2.0/boards/index.html