Hi Travis, There is a README here <https://github.com/SEL4PROJ/camkes-vm-images/blob/master/qemu-arm-virt/READM...https://bitbucket.ts.data61.csiro.au/projects/SEL4PROJ/repos/camkes-vm-image...> that lists the Linux kernel revision and configs and buildroot version and configs for building a set of Kernel, DTB and userlevel ramdisk used in the qemu-arm-virt variant of the camkes-arm-vm project. If you don't care about building the images yourself, then that repository also has the pre-built binaries that camkes-arm-vm will use. We are planning on adding some documentation for common workflows related to working with the Arm VMs such as how to provide custom Linux kernel and userlevel variants in the near future. Thanks, Kent. ________________________________ From: Devel on behalf of Travis Wheatley Sent: Wednesday, 1 April 2020 7:18 AM To: devel@sel4.systems Subject: [seL4] Running cmakes-arm-vm under QEMU. Greetings sel4 developers. Thus far I have successfully been able to build and boot the cmakes-arm-vm project on a Jetson TK1 board. However, my project requires a 64 bit target. I have built the TX1 version of this project but unfortunately do not have a TX1 board to try it out on. I would like to be able to run under QEMU but am not quite sure how to assemble all of the bits needed to do so. I believe what I need is a raw kernel image, a ramdisk, and a dtb file but not sure how to extract these in the proper formats from the files produced in the build process. Is there any existing documentation or guidance that can help me get a 64 bit buildroot kernel running under an sel4 vm to boot under QEMU? — Travis _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel