[Xenomai] AVX Support

Lennart Sorensen lsorense at csclub.uwaterloo.ca
Sat Mar 1 22:53:01 CET 2014

On Sat, Mar 01, 2014 at 06:57:53PM +0100, subscribe010304 at hushmail.com wrote:
> in order to find out if Xenomai were an appropriate real-time developer framework for our design
> task I am trying to collect some first information about it.
> I read the documentation that is provided on the Xenomai web pages but I could not find any
> information about AVX support on x86_64 target platforms.
> The wikipedia entry on AVX does not list Xenomai under operating system support.
> Isn't AVX supported by Xenomai?

I don't see what xeonmai has to do with it.  As far sa I can tell AVX
are just some new instructions.  It adds no new registers or cpu modes,
so as for as the OS or xenomai is concerned, nothing has changed.

I can't see any reason it shouldn't work fine.

Len Sorensen

More information about the Xenomai mailing list