Platform-specific files in the Genode system

[Aditya Kousik]

Hello

I'm trying to port Genode on to pandaboard on Fiasco.OC. In base-foc/config
there a list of platform specific kernel, user (panda.kernel and
panda.user) files generated. How are those files generated?

Also, in certain folders of os/src/drivers/ and os/include/ have platform
specific files coded. How are they related/utilised to/in the build process?

Thanks and regards
Aditya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20130628/597ab3d6/attachment.html>