Hello,
I want to boot a guest OS from hard (rather than ram disc and I think the seoul-disc scenario is the best choice to start.
When reading the following part of the script,
<config>
<policy label="seoul -> VirtualDisk 0" partition="5" writeable="yes"/>
<policy label="rump_fs -> " partition="4" writeable="yes"/>
</config>

I guess it expect to locate the guest OS boot disk on partition 5,
but I cannot figure out what would be placed on partition 4.
assuming the script generates the Genode image disk with 3 partitions.
How is it supposed to work?
Please, find attached the output log as well as the script files I used.
--
Parfait T.