Hi,

I added a new page on the wiki:
http://www.xenomai.org/index.php/Configuring_x86_kernels

and tried and reference it in various places (Debian packages, FAQ about
x86). Please feel free to complete and revise it.

The intent is to use it as an answer to new comers questions, instead of
constantly rehashing the same advices.

TIA,

-- 
                                                                Gilles.

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to