Hello Aditya, thanks for trying out Genode and welcome to the list!
> 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? Those files are generated by the configuration system of the Fiasco.OC kernel and the L4re userland (from which we use some minor parts) respectively. The 'panda.kernel' file a copy of a known-good Fiasco.OC configuration for the Pandaboard. When issuing 'make kernel' from the Genode build directly (created for the foc_panda), the kernel will be configured and built using this configuration. You can find the result at '<build-dir>/kernel/fiasco.oc'. If you like, you can modify the configuration using the kernel's interactive configuration system via: make SYSTEM_TARGET=/usr/local/genode-gcc/bin/genode-arm (invoked from within '<build-dir>/kernel/fiasco.oc') After exiting the configuration interface, the new configuration will be written to 'globalconfig.out'. This file corresponds to the 'panda.kernel' file that you just discovered. The 'panda.user' file is similar, but contains the known-good configuration for the L4re build system. > 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? Please let me point you to the documentation of the build system: http://genode.org/documentation/developer-resources/build_system In short, the build process is steered by so-called SPEC values defined per build directory. Those values describe the platform and are used to select the proper targets and libraries. If there remain specific questions unanswered by the documentation, please do not hesitate to post them here. So we can improve the documentation accordingly. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ This SF.net email is sponsored by Windows: Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
