| ... | ... | @@ -16,7 +16,7 @@ Is my embedded setup supported by Xenomai? |
|
|
|
See the link:Supported_Hardware[hardware list].
|
|
|
|
|
|
|
|
If your board is not listed above, you may want to get more information
|
|
|
|
from the mailto:xenomai@xenomai.org[Xenomai mailing list].
|
|
|
|
from the mailto:xenomai@lists.linux.dev[Xenomai mailing list].
|
|
|
|
|
|
|
|
If you are willing to port Xenomai to an ARM-based system, you may
|
|
|
|
want to have a look at
|
| ... | ... | |
Philippe Gerum <rpm@xenomai.org>