norman.feske at ...1...
Fri Jul 6 16:56:50 CEST 2012
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:
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:
More information about the users