Hello Pirmin, > When switching to Genode 25.08 or sculpt-25.10 there is the following error > when trying to write: > > [init -> uboot_tool] Error: failed to read environment data WRITE block=7680 > count=128 > > Read access still works. > > How do I need to update the policy to allow write access to the U-BOOT > partition?
Ideally the U-Boot partition should not have to be treated differently. That being said, I have never attempted to alter U-Boot from within Genode. I would start by instrumenting '_create_session()' in [1] and check in partiticular how 'view.writeable' is determined. [1] repos/os/src/lib/genode_c_api/block.cc Best regards Josef -- Josef Söntgen Genode Labs http://www.genode-labs.com/ · http://genode.org/
signature.asc
Description: PGP signature
_______________________________________________ users mailing list -- [email protected] To unsubscribe send an email to [email protected] Archived at https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/7H4E5HSQYVOJOYE6VEBGMARUS263SCWX/
