Hello John,
I'd like to ask you to help me solving this issue.
I discovered in the Debian parted sources that the tool spawns "dmidecode -s system-manufacturer" since Debian version 3.2-21 to detect if it's running on Apple. If yes, it applies an heuristic to generate Apple-compatible GPT/MBR combinations (whatever that means - some comments mention "synced MBR"). Fortunately, they also added a force feature via the PARTED_GPT_APPLE environment variable.
So, could you please try to set the PARTED_GPT_APPLE env var to 0 before running the Genode build system. In bash this is as easy as
export PARTED_GPT_APPLE=0 make run/sculpt KERNEL=nova
Thanks in advance for your help.
Regards