Hello Josef
Thanks for the quick reply.
On 2025-11-28 12:02, Josef Söntgen wrote:
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
After some further discussions internally, a colleague pointed out, that now the start offset and size can be specified in the Block session. This is normally done by part_block.
As the component handling the environment is connected directly to the Block device driver in this example, this information is probably missing.
If this doesn't help, I will continue with your suggestion.
Best regards and a nice weekend, Pirmin