Hi all, I wish to ask about core isolation, and how to define the grub command line with regards to supported_cpus. As of right now, I have done the isolcpus and singled out Core 2-5 for xenomai, however, as for xenomai.supported_cpus, I am unsure what value I am supposed to put into the grub. Is there any documentation on this, so that I can adjust the value to this 4 cores? Will appreciate any help with this
yours sincerely, John
