Hello Genodians
We have an tool that can read / write the environment of U-BOOT. On
Genode 25.05 reading / writing works without any problems.
The relevant part of the config looks as follows:
<start name="usdhc" caps="150" ram="16M">
<binary name="imx8mq_sd_card"/>
<provides> <service name="Block"/> </provides>
<config report="yes">
<default-policy device="mmcblk1boot0" writeable="yes"/>
</config>
<route>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="uboot_tool" caps="100" ram="16M">
<route>
<service name="Block"> <child name="usdhc"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
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?
For normal partitions it adding the default policy as described in the
release notes for Genode 25.08 was sufficient.
Kind regards,
Pirmin
_______________________________________________
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/SQL5MQH7JG47XZIJV3S3IZOJW7DKJ7IK/
