the kernel's output

Marcus Völp voelp at
Fri Apr 17 07:54:13 CEST 2015

the default output media is the serial line. Please check the config options for different output destinations.


Am 16.04.2015 20:56 schrieb 水镜 <357836635 at>:
> hi , there're a lot of printf in fiasco kernel, but i can not seen any output on the screen.
> how could i turn these things on?

More information about the l4-hackers mailing list