hi!

i installed debian stretch on a pentium E5300 (features PAE)
i run these commands
http://www.machinekit.io/docs/getting-started/APT-packages-stretch/
all fine

but trying to install the xenomai kernel 
(http://www.machinekit.io/docs/getting-started/install-rt-kernel-amd64/)
"sudo apt-get install linux-image-xenomai.x86-686-pae"
returns a not found package error

"sudo apt-cache search linux-image-xenomai.x86-686-pae"
and
"sudo apt-cache search machinekit-xenomai"
return  nothing

any ideas?

thanks!!!
Raul

-- 
website: http://www.machinekit.io blog: http://blog.machinekit.io github: 
https://github.com/machinekit
--- 
You received this message because you are subscribed to the Google Groups 
"Machinekit" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
Visit this group at https://groups.google.com/group/machinekit.
For more options, visit https://groups.google.com/d/optout.

Reply via email to