Yes, exactly.

When I rewrite the menu stuff (this week or next),
I'll add a scrolling text window widget to the interface
for use from both kernel/userland. Maybe even wire up
the kernel printk() to it.

Cheers