Thank you Kent. I already was aware of this tutorial but this looks to me like a tool to just add files. What I would like is to have full control over the file system, in example, to edit/modify already existing files. Can I still use this tutorial for editing already existing files? El mié, 2 jun 2021 a las 6:51, Kent Mcleod () escribió:

On Wed, Jun 2, 2021 at 3:18 AM wrote:

...

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