Sculpt 22.10 not working on Thinkpad X201

Thu Mar 2 09:11:11 CET 2023

Hi,

thanks for your efforts. Great that you got Sculpt running on another machine and that the report_dump setup is working for you in general (which did not reveal anything for X201, but nice!).

The following options I see, you can try (if you still want to).

Based on your message, that nothing changed if you remove 'novga' from the hypervisor command line, please try to iterate through a) and b):

a) In grub.cfg, try add an 'vga' command option to the bender line. Bender should print some life signs via VGA text beside "Booting 'Genode on NOVA'" (which is still from grub2). You may also try to remove the 'intel_hwp_...' commandline option.

b) You may try to remove the bender tool. Remove the _whole_ "multiboot2 ... bender" line in grub.cfg, and replace on the next line module2 with multitboot2, e.g. "module2 ... hypervisor ... " with "multiboot2 ... hypervisor ...". As commandline option on the hypervisor keep 'novga' removed. You may also try to add 'spinner', which would give you some more signs from the hypervisor, if it comes up. Testwise, you may also try to remove the _whole_ last line with the image.elf, so that the hypervisor have to complain definitively via VGA text output about the missing Genode image.

a) and b) is just to determine, where it got stuck potentially. If nothing of a) and b) gives you a life sign, I fear, it becomes close to impossible to debug remotely (without serial output and/or instrumenting bender & hypervisor in code).

Depending on a) and b), one would still need to setup a Genode developer environment to try things out. There is also a docker image [0], which can help to avoid to setup the environment manually. I added also some BIOS config settings of the X201, which can have an influence, just in case ...

Cheers,

Alex.

- Enable some serial output device, either Intel AMT SOL [1] (if supported for your X201) or plug in a ExpressCard Serial card. You would need (slightly) to re-configure Sculpt, see [2]. Add at the 7. step a 'LOG=core' to the command, e.g. 'LOG=core make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc'. The log output of Genode would now go over your serial device and you may capture it.

[0] https://genodians.org/skalk/2020-09-29-docker-devel
[1] https://genodians.org/chelmuth/2019-01-16-test-machine
[2] https://genode.org/documentation/articles/sculpt-22-10#Building_the_boot_image

Bios Version of X201: 1.40
Bios Date: (2012-10-11)
Embedded Controller: 1.15

Config -> Usb:
- USB Bios Support [Enabled]
- Always on USB [Enabled]
- Always on USB Mode [Automatic]
Config -> Serial:
- Serial ATA mode: AHCI
Config -> Cpu:
- Core Multi-Processing [Enabled]
- Hyper-Threading [Enabled]
- Virtualization [Enabled]
- Vt-d [Enabled]
Config -> Intel AMT [Enabled]

On 02.03.23 02:25, dogma--- via users wrote:
> March 1, 2023 at 7:17 AM, "Alexander Boettcher" <alexander.boettcher at genode-labs.com> wrote:
>> Hi,
>>
>> On 28.02.23 14:46, dogma--- via users wrote:
>>
>>>
>>> I tried commenting out the graphics-related lines in the GRUB config files to see what it might display. But I just got "Booting 'Genode on NOVA'" and a blinking cursor. Perhaps it relies on GRUB setting up the graphics state anyway.
>>>
>>
>> no, the graphical boot mode is not strictly required for Intel based systems.
>>
>> Which CPU do you have in your X201, in mine is a Intel (R) Core(TM) i5 CPU M 520 @ 2.4 GHz, 4GB RAM, 1280x800 resolution.
> 
> Intel(R) Core(TM) i5 CPU       M 560  @ 2.67GHz
> also 4GB and 1280x800.
> 
>> - Can you try another USB stick, just in case ?
> 
> Still fails.
> 
>> - You may try to remove the 'iommu' line from the hypervisor module2 boot entry in grub.cfg, which may make a difference.
> 
> No change.
> 
>> - In legacy BIOS boot mode (which seems apply to you), you may also try to remove the 'novga' commandline from the hypervisor module2. In case something goes wrong very early, the kernel message may give a hint. (but this will give you no output from Genode system itself)
> 
> No change.
> 
>> - If nothings helps, we would need a log of your system to assist further.
>> -- You may try to setup the report_dump component [0], which would dump all logs kept in memory to your USB stick, if the system comes up far enough. However, this would require another machine, where Sculpt OS boots up fine and you can configure it according to [0].
> 
> I was able to boot it on a Latitude E6440, and, improbably enough for an utter novice, actually got the report_dump working so that when I boot on the E6440 there are logs, but when I boot on the X201, no logs. I was so pleased with myself until there were no logs.
> 
>> -- Or, enable some serial output device, either Intel AMT SOL [1] (if supported for your X201) or plug in a PCMCIA serial card. You would need (slightly) to re-configure Sculpt, see [2]. Add at the 7. step a 'LOG=core' to the command, e.g. 'LOG=core make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc'. The log output of Genode would now go over your serial device and you may capture it.
>>
>> Hope it helps bit,
>>
>> Alex.
>>
>> [0] https://genode.org/documentation/articles/sculpt-vc#Sculpt_as_a_hardware-probing_instrument
>> [1] https://genodians.org/chelmuth/2019-01-16-test-machine
>> [2] https://genode.org/documentation/articles/sculpt-22-10#Building_the_boot_image
>>
>>>
>>> February 28, 2023 at 12:55 PM, "dogma--- via users" <users at lists.genode.org> wrote:
>>>
>>>>
>>>> February 28, 2023 at 8:16 AM, "Alexander Boettcher" <alexander.boettcher at genode-labs.com> wrote:
>>>>
>>>
>>>   Hello,
>>>   
>>>   the X201 next to me on my desk is working fine with Sculpt 22.10.
>>>   
>>>   Several points which you can check:
>>>   - Do you have an external monitor attached with a too high resolution (beyond 2K) ?
>>>   - Do you using an docking station ?
>>>   - Do you use coreboot instead of the default bios ?
>>>
>>>>
>>>> It’s good to know it should work. None of these apply to me.
>>>>
>>>
>>>   Cheers,
>>>   
>>>   Alex.
>>>   
>>>   On 2/28/23 6:52 AM, dogma--- via users wrote:
>>>   
>>>   
>>>   Image dd'ed to a flash drive, and I checked that vt-d, vt-x, and NX were as they should be. GRUB shows the splash image briefly, the screen goes blank black, something in the computer makes a moderately high-pitched sound for five seconds or so, and nothing more happens.
>>>   _______________________________________________
>>>   Genode users mailing list
>>>   users at lists.genode.org
>>>   https://lists.genode.org/listinfo/users
>>>   
>>>   
>>>   -- Alexander Boettcher
>>>   Genode Labs
>>>   
>>>   https://www.genodians.org/ - https://www.genode.org/
>>>   
>>>   _______________________________________________
>>>   Genode users mailing list
>>>   users at lists.genode.org
>>>   https://lists.genode.org/listinfo/users
>>>
>>>>
>>>> _______________________________________________
>>>>   Genode users mailing list
>>>>   users at lists.genode.org
>>>>   https://lists.genode.org/listinfo/users
>>>>
>>>
>>>   
>>>   _______________________________________________
>>>   Genode users mailing list
>>>   users at lists.genode.org
>>>   https://lists.genode.org/listinfo/users
>>>
>>
>> -- 
>> Alexander Boettcher
>> Genode Labs
>>
>> https://www.genodians.org/ - https://www.genode.org/
>>
>> _______________________________________________
>> Genode users mailing list
>> users at lists.genode.org
>> https://lists.genode.org/listinfo/users
>>
> 
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Alexander Boettcher
Genode Labs

https://www.genodians.org - https://www.genode.org