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 (<[email protected]>) escribió: > On Wed, Jun 2, 2021 at 3:18 AM <[email protected]> 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 -- [email protected] > > To unsubscribe send an email to [email protected] > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
