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?