On Fri, 30 Nov 2018 06:43:17 -0800"Paul E. McKenney" <paulmck@linux.ibm.com> wrote:> Could you please send me your list of kernel boot parameters? They> usually appear near the start of your console output.Or just: cat /proc/cmdline-- Steve