Supported platforms

[Norman Feske]

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