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? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150417/813a7618/attachment.html>