Re: Booting Debian 10 on powernv POWER9 machine

2019-10-19 Thread Karl
Hello, BE also works without problems on POWER9. For example AdelieLinux, VoidLinux, but also Debian, according to this list: https://wiki.raptorcs.com/wiki/Operating_System_Compatibility_List By the way, Void uses Grub as bootloader, also on BE. I've tried a number of distributions on my Black

Re: Booting Debian 10 on powernv POWER9 machine

2019-10-18 Thread Simon Richter
Hi, On 16.10.19 23:49, Gustavo Romero wrote: > Has anybody tried to install, boot, and test successfully on a POWER9 > powernv > machine? I have a TalosII running Debian. Works fine. Installation was through the shipped petitboot bootloader, which read the grub.conf from the regular ppc64le ins

Re: Booting Debian 10 on powernv POWER9 machine

2019-10-18 Thread Simon Richter
Hi, On 16.10.19 23:49, Gustavo Romero wrote: > Has anybody tried to install, boot, and test successfully on a POWER9 > powernv > machine? I have a TalosII running Debian. Works fine. Installation was through the shipped petitboot bootloader, which read the grub.conf from the regular ppc64le ins

Re: Booting Debian 10 on powernv POWER9 machine

2019-10-18 Thread Gustavo Romero
Hi Michael and Lennart, On 10/17/2019 04:09 PM, Michael Cree wrote: On Thu, Oct 17, 2019 at 02:58:37PM -0400, Lennart Sorensen wrote: On Thu, Oct 17, 2019 at 02:57:12PM -0300, Gustavo Romero wrote: Sorry, I wrote my note super hastily and forgot to mention that I was wondering about BE specifi

Re: Booting Debian 10 on powernv POWER9 machine

2019-10-17 Thread Michael Cree
On Thu, Oct 17, 2019 at 02:58:37PM -0400, Lennart Sorensen wrote: > On Thu, Oct 17, 2019 at 02:57:12PM -0300, Gustavo Romero wrote: > > Sorry, I wrote my note super hastily and forgot to mention that I was > > wondering > > about BE specifically. Currently I see kernel 4.16 is used by the installe

Re: Booting Debian 10 on powernv POWER9 machine

2019-10-17 Thread Lennart Sorensen
On Thu, Oct 17, 2019 at 02:57:12PM -0300, Gustavo Romero wrote: > Sorry, I wrote my note super hastily and forgot to mention that I was > wondering > about BE specifically. Currently I see kernel 4.16 is used by the installer > and > I get a panic regarding a VMX Unavailable Exception on POWER9 p

Re: Booting Debian 10 on powernv POWER9 machine

2019-10-17 Thread Gustavo Romero
Hi Len, On 10/17/2019 12:45 PM, Lennart Sorensen wrote: On Wed, Oct 16, 2019 at 06:49:03PM -0300, Gustavo Romero wrote: 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 sh

Re: Booting Debian 10 on powernv POWER9 machine

2019-10-17 Thread Lennart Sorensen
On Wed, Oct 16, 2019 at 06:49:03PM -0300, Gustavo Romero wrote: > 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? I have not tried one, but I woul