Hello wonderful people of Reddit,
I hope you guys are safe during this period. I am currently working on a university project with Real-Time Systems, and for that purpose, I have to install the Xenomai co-kernel alongside my regular Linux kernel. I am currently referring to this website for all the information. But since I am a beginner, this is too much information for me to handle, and I have myself confused. If anyone has had any experience with installing Xenomai, and if they could kindly give me some advice on how to do it for my laptop, it would be great. I am running Ubuntu on an x64 based machine. What I have been able to figure out as of now is that I will need it to be running in dual-kernel mode(Cobalt).
Thanks in advance!