Re: the kernel's output
Marcus Völp <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 水镜 <[email protected]>:
>
> 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?
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers