[LITMUS^RT] Boot Parameter Option

[Geoffrey Tran]

Hello all,

Just a quick question, does the rtsched boot parameter still 
work?  I have tried the following:

root at ubuntu:~# cat /proc/cmdline
BOOT_IMAGE=/vmlinuz-4.1.3 root=/dev/mapper/ubuntu--vg-root ro splash quiet rtsched=gsn_edf vt.handoff=7

root at ubuntu:~# cat /proc/cmdline
BOOT_IMAGE=/vmlinuz-4.1.3 root=/dev/mapper/ubuntu--vg-root ro splash quiet rtsched=GSN-EDF vt.handoff=7

However neither result in the scheduler being set correctly at boot.
I recall that this did work in one of the previous 2014.x versions.

Any advice would be appreciated. 

Thanks,
Geoffrey