resources/tools/disk-image-builder/nested/image-patches/07-isolate-cpu

   1 #!/bin/sh
   2
   3 patch boot/grub/menu.lst <<"_EOF"
   4 15c17
   5 <       kernel /boot/bzImage rw root=/dev/sda1 console=ttyS0,115200n8
   6 ---
   7 >       kernel /boot/bzImage rw root=/dev/sda1 console=ttyS0,115200n8 isolcpus=1-7 nohz_full=1-7 rcu_nocbs=1-7
   8 _EOF