Hi Robert,

the best way to find out about the currently supported platforms is to execute the '<genode-dir>/tool/create_builddir' tool without arguments. It will print a list of all kernels and their hardware platforms as supported by the framework. Currently the list looks as follows:

'linux_x86' 'fiasco_x86' 'pistachio_x86' 'okl4_x86' 'nova_x86_32' 'nova_x86_64' 'codezero_vpb926' 'mb_s3a_starter_kit' 'foc_x86_32' 'foc_x86_64' 'foc_pbxa9' 'foc_vea9x4' 'foc_panda' 'lx_hybrid_x86'

Please note, however, that not all of these platforms are fully featured. Some are in a quite experimental stage (i.e, mb_s3a_starter_kit). To get more details about each of them, please refer to the "Base platforms" section of the genode.org website:

http://genode.org/documentation/platforms/index

Cheers Norman