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@lists.genode.org https://lists.genode.org/listinfo/users