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?