the kernel's output

Marcus Völp voelp at os.inf.tu-dresden.de
Fri Apr 17 07:54:13 CEST 2015


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

   Best,
     Marcus

Am 16.04.2015 20:56 schrieb 水镜 <357836635 at qq.com>:
>
> 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