Platform-specific files in the Genode system

Aditya Kousik adit267.kousik at ...9...
Fri Jun 28 13:17:26 CEST 2013


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list