Booting Debian 10 on powernv POWER9 machine

[Gustavo Romero <gromero@linux.vnet.ibm.com>]

Hi,

Has anybody tried to install, boot, and test successfully on a POWER9 powernv
machine?

If so, could I get and advice on which Debian installer (ISO, initrd, and
vmlinuz) I should use please?

Thanks,
Gustavo