Hi Alberto, I used a variety of Linux kernel versions (4.9 through 6.1) and sometimes edited them for use in a CAmkES VM. I wrote a little tutorial for doing so. It culminates in creating custom kernel modules for the newly compiled kernel. The guide is here: sel4-tutorials/tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md at master · seL4/sel4-tutorials <https://github.com/seL4/sel4-tutorials/blob/master/tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md> But I used arm64 all the way, so your mileage may vary. Cheers, Michael Neises On Wed, Apr 23, 2025 at 4:51 PM alberto.lange--- via Devel <devel@sel4.systems> wrote:
Hi! I'm Alberto, and I'm currently working on my Telecommunications Engineering thesis, which focuses on building a secure system using an seL4 virtual machine.
Right now, I'm trying to use the minimal app from the camkes-vm-examples repository with a modified Linux kernel (v6.12.9) built using Buildroot. To do this, I've been replacing the kernel and rootfs files in the vm-linux/images directory with my custom ones. However, this has led to multiple errors during execution.
I’d really appreciate some guidance on the correct way to integrate a custom kernel into the CAmkES VM framework. Specifically, should I be using the functions provided in the linux-source-helpers.cmake file to update the kernel and rootfs?
Thanks in advance! _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems