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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
