On 2018-09-25 5:48 PM, John David Anglin wrote:
There are a couple of options to specify on the linux command line.
Turns out palo fills the options in automatically: palo.conf:--commandline=2/vmlinux root=UUID=308b2a95-a065-4da1-b755-7dc4f607e602 initrd=2/initrd.img HOME=/
dmesg:[ 0.000000] Kernel command line: root=UUID=308b2a95-a065-4da1-b755-7dc4f607e602 HOME=/ console=tty0 sti=10/4/3/0 sti_font=VGA8x16 TERM=linux palo_kernel=2/vmlinux
Dave -- John David Anglin dave.anglin@xxxxxxxx
