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?