Huub van Niekerk wrote:
> Hi,
>
> Using the standard tools I've installed the xenomai patches for Ubuntu
> 10.10. However, I can't find that I'm actually running a kernel with xenomai
> right now. How can I check whether or not I am? I ask the Ubuntu forum, but
> get no response.
>
> Thank you for an answer.
http://www.xenomai.org/index.php/Configuring_x86_kernels#Does_Xenomai_work.3F
--
Gilles.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
