On Wed, Jun 2, 2021 at 3:18 AM
Hi, I'm learning about this project: https://github.com/seL4/sel4webserver
and would like to edit the guest filesystem. Digging around I found some cpio files that looks to me like may be the right place (output_overlay_rootfs.cpio, rootfs.cpio) but I'm not sure. So, as far I understand in theory I can just edit them and the execute "ninja" again. Before going that way, can anyone confirm this is the easiest/right way?
The easiest way would likely be using the CMake helpers for defining overlays onto the rootfs of the guest. There's some instructions on how to do this in the camkes-vm-linux tutorial here: https://docs.sel4.systems/Tutorials/camkes-vm-linux.html#adding-to-the-guest An overlay allows you to specify a list of files that are effectively installed over the top of the rootfs. This means you can use an overlay to add files or replace files in an existing rootfs. The other way would be to look in the CMakeLists.txt to where AddToFileServer() is used to specify a CPIO to be packaged into the file server. By changing this path to a different CPIO that you would want to load, rerunning ninja should regenerate the final image with the alternative CPIO.
Thanks, _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems