Hello Waldo,
neither option serves me because I'm working with YSE5250 card, and really what I want to know is if Genode supports that card.
this board is not supported out of the box. But since it is very similar to the Arndale board, it should be fairly simple to add support for it by following the existing patterns for the Arndale platforms.
To get an overview of the potential construction sites, I would grep the Genode source tree for code that is Arndale-specific:
cd genode grep -ri "arndale" tool repos/base repos/base-hw
Let me highlight some specific places that will need your attention:
Extend 'tool/create_builddir'
Add support for creating a build directory for your platform. Look for 'hw_arndale' and add analogous snippets for your 'hw_yse5250' platform.
Add 'repos/base/mk/spec-platform_hw_yse5250.mk'
This file characterizes the feature set of your board. Take 'spec-platform_hw_arndale.mk' as reference.
Add 'repos/base/include/platform/yse5250/drivers/board_base.h'
This file tells Genode the MMIO addresses and IRQ numbers of various peripherals. Again, you may take the Arndale version ('platform/arndale/drivers/board_base.h') as reference. Since both boards are based on the same SoC, I do not expect many differences.
Add 'repos/base-hw/mk/spec-hw_yse5250.mk'
This file contains base-hw-specific parameters for building Genode components. Take 'repos/base-hw/mk/spec-hw_arndale.mk' as reference.
Add 'repos/base-hw/src/core/spec/yse5250/platform_support.cc'
This file defines which parts of the physical address space are RAM or MMIO regions. I think you may be able to just copy the Arndale version ('core/spec/arndale/platform_support.cc').
Add 'repos/base-hw/lib/mk/platform_yse5250/core.mk'
This file describes how Genode's core/kernel is built. Just follow the pattern found in 'core/platform_arndale/core.mk'.
Altogether, these are less that 100 lines of code to add.
After these steps, you should be able to run a simple scenario on your board (e.g., 'repos/base/run/printf.run'). The next step would be to enable the timer service. To do that, follow the approach above. Take 'repos/os/lib/mk/hw_arndale/timer.mk' as a blue print.
The final step to enable more sophisticated device drivers is the so-called platform driver found at 'repos/os/src/drivers/platform' and 'repos/os/include/platform'. Again, you may take the Arndale version as starting point. Maybe, the yse5250 version may be even identical to that.
Happy hacking!
Norman