cmdline problem on Ubuntu SOS


    I builded the V2.0 with ubuntu on board NUC7i5BNH. It works fine, but there is something wrong in cmdline.
 $ cat /proc/cmdline 
root=/dev/sda3 console=ttyS0 rw rootwait console=tty0 consoleblank=0 no_timer_check quiet loglevel=3 i915.nuclear_pageflip=1 hvlog=2M@0xe00000 memmap=0x200000$0xe00000 root=PARTUUID=3c7099ff-83a5-49e4-999e-9dd9c322e1a5 clocksource=tsc tsc=reliable nmi_watchdog=0 nosoftlockup idle=poll noht audit=0 irqaffinity=0 isolcpus=1-3 rcu_nocbs=1-3 nohz_full=1-3 intel_pstate=disable intel.max_cstate=0 intel_idle.max_cstate=0 processor.max_cstate=0 processor_idle.max_cstate=0 hugepagesz=1G hugepages=12

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.


Join { to automatically receive all group messages.