nova serial log output

[Alexander Boettcher]

Hello Primin,

Am 09.02.22 um 12:55 schrieb Duss Pirmin:
> Hello Genodians
> 
> I have a UP Xtreme board on which I want to run Genode on. it has a 
> Intel core i7 8xxx [1]. This platform only supports UEFI boot.
> 
> Starting Sculpt on the device from an USB stick works.
> 
> The main problem I have currently, is that I do not receive any serial 
> output from the kernel. I also tested with other run scripts like 
> `run/log`.
> 
> The device has two physical interfaces (COM1 & COM2) that I have enabled 
> and configured, in the BIOS, to use the default IO/IRQ values for PCs.

I would suggest to add an message about the used i/o ports in the nova 
kernel at the end of Ec::bootstrap(). A trace message with the i/o 
values, as used in Console_serial class, will/should show up in the log 
when using Sculpt (next to the other kernel messages starting with 
[kernel] ...).

Maybe the wrong I/O ports are used or none, but that will reveal your 
instrumentation. In UEFI mode the 'bender' tool [0] will by default 
assume 0x3f8 if no PCI serial card is detected, maybe this is 
problematic in your case. Or 'bender' finds a PCI serial card (Intel AMT 
SOL) and the kernel is using that instead.

Hope the hints are useful.

Good luck,

Alex.

[0] see tool/boot/README about pointers about bender

> 
> If I start Ubuntu on the device with enabled serial console for GRUB2 
> and the kernel, I see the corresponding output on my `picocom` session.
> 
> Do you have any suggestions what could be the cause?
> 
> Best regards,
> Pirmin
> 
> 
> [1] https://up-board.org/up-xtreme-edge-compute-enabling-kit/
> 
> _______________________________________________
> 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