Re: Genode (x86_64) reboots on Thinkpad T420

2019-03-10 Thread Valery V. Sedletski via users
Alexander Boettcher wrote: On 08.03.19 12:29, Valery V. Sedletski wrote: On Fri Mar 8 15:57:20 2019 Alexander Boettcher wrote: On 08.03.19 11:25, Valery V. Sedletski via users wrote: On 07.03.19 23:10, Valery V. Sedletski via users wrote: Alexander Boettcher wrote: P.S.: I wondered why

Re: Genode (x86_64) reboots on Thinkpad T420

2019-03-08 Thread Valery V. Sedletski via users
On Fri Mar  8 15:57:20 2019 Alexander Boettcher wrote: > On 08.03.19 11:25, Valery V. Sedletski via users wrote: > > On 07.03.19 23:10, Valery V. Sedletski via users wrote: > > > Alexander Boettcher wrote: > > > P.S.: I wondered why 32-bit works fine, but cnuke on the irc channel > > supposed

Re: Genode (x86_64) reboots on Thinkpad T420

2019-03-08 Thread Alexander Boettcher
On 08.03.19 11:25, Valery V. Sedletski via users wrote: > On 07.03.19 23:10, Valery V. Sedletski via users wrote: >> Alexander Boettcher wrote: >> I could reproduce it after same configuration changes in the UEFI BIOS >> of my test T420. When I set in the UEFI/BIOS the option "Security -> >>

Re: Genode (x86_64) reboots on Thinkpad T420

2019-03-08 Thread Valery V. Sedletski via users
Alexander Boettcher wrote: Hello, On 07.03.19 23:10, Valery V. Sedletski via users wrote: Hi, Genodians! Some days ago, I ordered a Thinkpad T420, which is listed in Genode unofficial HCL by cnuke. I set up Genode booting remotely via PXE+Intel AMT. It boots the system image (x86_32 arch)