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?
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@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?
l4-hackers@os.inf.tu-dresden.de