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
[email protected]
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
