On Mon, Jan 30, 2023 at 2:52 AM Alexander Boettcher <[email protected]> wrote: > You may rewrite the label to your actual Block provider, e.g. as an example > (taken from my setup): > > <service name="Block" label="block0"> <child name="ahci-0.part_block" > label="7"/> </service>
Yes, my config is like that (with 1 rather than 7), and now that I restart this morning, I don't see the "no policy" warning. I suppose I wasn't careful to isolate the problem when I reported it. I'd like to use <service name="Block" label="boot"> and likewise "root", "home" and "shared" for the block service labels (keeping the child labels as partition numbers "1", "4", "5", "6"), but I can't get that to work. Are the names constrained to "block0", "block1" etc.? If so, by which part of the system? -- Dan Connolly http://www.madmode.com/ _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
