1.Where is the sda3 parameter comes from? I just have one NVMe disk.
2.Why the isolcpus did not work on SOS? I set the boot paramenter in /etc/grub.d/40-custom, but the cpus are not isolated according to the file /proc/interrupts.
I just want to optimize the SOS system parameters to run a xenomai UOS.