Hi Guido,

> Then it stays blank. But the server runs. I expect it to either change
> baud rate from 115200 (correct) to something else, or it doesn't hand
> the port to the LOG service.
> 
> Could you provide some hints as where to look?

Genode's core component reads the I/O-port information for the comport
from the BIOS data area (BDA). By default, it points to comport 0. If
the bender chain boot loader detects a PCI device with a comport, it
changes the port accordingly (see Section 7.7.3. "Log output on modern
PC hardware" in the manual [1]). Since your hardware uses a comport that
is neither comport 0 nor a port provided by a PCI card, it remains unused.

As a quick and dirty fix, you may manually hard-code the port at
'base-nova/src/include/base/internal/core_console.h' instead of
obtaining the port from the BDA.

[1] http://genode.org/documentation/genode-foundations-16-05.pdf

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to