On Wed, Aug 28, 2019 at 02:37:34PM -0700, David Abdurachmanov wrote: > --disk path=$PWD/disk \ > --boot kernel=$PWD/${FIRMWARE} \ This is where I tripped over things. How do I specify the kernel to boot from OUTSIDE the disk image? -- Kees Cook
On Wed, Aug 28, 2019 at 02:37:34PM -0700, David Abdurachmanov wrote: > --disk path=$PWD/disk \ > --boot kernel=$PWD/${FIRMWARE} \ This is where I tripped over things. How do I specify the kernel to boot from OUTSIDE the disk image? -- Kees Cook