I am using poky at warrior branch to generate root images. Yocto can generate the final image in various formats. One of them is .hddimg, which looks like this when extracted:
EFI bzImage initrd libcom32.c32 libutil.c32 rootfs startup.nsh syslinux vesamenu.c32
Following this link: http://embeddedguruji.blogspot.com/2018/11/run-your-intels-yocto-hddimg-in-virtual.html, I convert the .hddimg file to .vmdk file. When I use 7zip to view the contents of the .vmdk file, it is same as above. I was curious to know how the boot process works, and how the kernel is loaded. And how I can switch default kernels when multiple kernels are installed in rootfs.
I base this question from my previous unanswered question: https://stackoverflow.com/questions/57611557/switch-kernel-in-yocto-root-image