[SeaBIOS] Problem with Debug lvl under XEN

[Daniel Castro]

Hello,

I have encountered something a little strange, if I set up the debug
lvl to 3 or more Y will get a Triple VCPU fault. If I set it to 1 the
bios runs normally but I loose a lot of information that I need to
debug. Sometimes if I try to print char * variables regardless of the
debug level I still get the fault.

Any ideas why?

Thanks for the ideas/pointers/ anything!

Daniel