Genode (x86_64) reboots on Thinkpad T420
alexander.boettcher at genode-labs.com
Fri Mar 8 09:49:18 CET 2019
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) just fine on real
> hardware. But if I try booting an x86_64 image, it reboots on most
> kernels, or traps on Fiasco.OC. Last messages in the log I see are from
> "bender" . This is when booting using NOVA kernel. If I try Fiasco.OC
> as a kernel (), It goes until "bootstrap", and last I see in the log
> are "bootstrap" messages, until it attempts to start the kernel. And at
> the same time, I see the following trap screen from bootstrap: . All
> registers are zeroes, except a few ones. So, with "foc" kernel, I see a
> Trap #0 (division by zero). In case of "NOVA" and "base-hw" kernel, it
> does not trap, but just reboots. I tried to remove the "novga" parameter
> from NOVA kernel, but I still see a blank screen.
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 ->
Memory Protection -> Execution Prevention" to disabled, the machine reboots.
For my T420 test machine it is set to enabled, and then it works, log
Hope it helps,
make: Entering directory '/home/alex/genode/sculpt_release/build/x86_64'
checking configuration syntax
using 'core-nova.o' as 'core.o'
spawn /bin/sh -c picocom -b 115200 /dev/ttyUSB0
port is : /dev/ttyUSB0
flowcontrol : none
baudrate is : 115200
parity is : none
databits are : 8
stopbits are : 1
escape is : C-a
local echo is : no
noinit is : no
noreset is : no
nolock is : no
send_cmd is : sz -vv
receive_cmd is : rz -vv -E
imap is :
omap is :
emap is : crcrlf,delbs,
Type [C-a] [C-h] to see available commands
Bender: Hello World.
Need 039fb000 bytes to relocate modules.
Relocating to 7c605000:
Copying 60629744 bytes...
Copying 162240 bytes...
NOVA Microhypervisor v8-b4904a1 (x86_64): Feb 28 2019 14:26:07 [gcc
[ 0] TSC:2400000 kHz BUS:0 kHz DL
[ 0] CORE:0:0:0 6:2a:7:4  Intel(R) Core(TM) i5-2430M CPU @
[ 2] CORE:0:1:0 6:2a:7:4  Intel(R) Core(TM) i5-2430M CPU @
[ 1] CORE:0:0:1 6:2a:7:4  Intel(R) Core(TM) i5-2430M CPU @
[ 3] CORE:0:1:1 6:2a:7:4  Intel(R) Core(TM) i5-2430M CPU @
Hypervisor features VMX
Hypervisor reports 4x1 CPUs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
More information about the users