vftool/build/vftool -k kernel -i initrd -d disk.img -m 4096 -a "console=hvc0"