Hi Michael, Your message was really helpful. I've tried that and finally I could make it work with the 4.9 kernel and rootfs.cpio built using Buildroot 2023.11.
Thanks! Alberto _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
