I've found this example: oskit10/examples/x86/shared/intr_console.c will let you know how it pans out, looks simple enough barring any caveats.
On 7/27/05, Bert van Leeuwen bert.vanleeuwen@gmail.com wrote:
Is there a tutorial or guide somewhere about how to use remote gdb (from a linux machine) to debug an L4 task? I haven't been able to find much more info about this other than casual mention that it is supported...