Re: write access to U-BOOT environment with Genode 25.08 onward

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