36a37,38
> #include <sstream>
>
39c41
< void Printk(TheISA::Arguments args);
---
> void Printk(std::stringstream &out, TheISA::Arguments args);