Oh, I think I *may* begin to understand a bit better what is going on... and to feel a bit dumb. ... and still confused.
Basically, I was expecting to see on the screen in my computer, what I was seeing in QEMU on my Linux.
So I was expecting to see things like: Hypervisor does not feature VMX Hypervisor does not feature SVM Hypervisor info page contains 13 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9f400 use physical memory: 0x0000000000000000 - size: 0x9f000 detected physical memory: 0x0000000000100000 - size: 0x17efe000 use physical memory: 0x0000000000100000 - size: 0x17efe000 map multi-boot module: physical 0x018b6000 -> [0x00188000-0x00210230) - core map multi-boot module: physical 0x0193f000 -> [0x00213000-0x00213266) - config
on my screen when testing the iso file, but I now think this is what is sent to the serial line that is shown in the terminal window of Linux.
Also I tried to use "make run/hello" which use base/include/base/printf.h functions (PDBG) but I now think they send their output to serial line too.
When debuging Nova, I was adding some Nova's Console::print that seems to go to screen. So debugging was going fine.
I find a bit strange that Genode's printf does not map to Nova's Console::print however. I guess that it what I would have expected.
Now I am asking myself what function I should use in Genode, to send output to screen rather than serial line?
I would expect Genode to stop using -nographic with QEMU, and use the screen rather than the serial line... supposing that my hypothesis about what is going on is right.