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