Debugging l4linux + l4re

[Haohui Mai]

Hi folks,

I'm running mag + L4Linux on a real machine that doesn't have a serial port. It's really difficult to debug -- I'm wondering if there're any ways to open a new window under mag, and to redirect all serial port I/O to that window?

It would be really helpful for debugging. I appreciate if anyone could share if he happens wrote this program before, or giving me some suggestions.

Your help is appreciated!

~Haohui