Hey folks,

With gdbsx running, Running `gdb -ex "target remote localhost:9999"

crashes Xen and reboots the server.

Example session: http://i.imgur.com/UXh3RCy.png

Minimal reproduction: https://github.com/lilred/xen-crash-repro

Top line of `xl dmesg`:

    Xen version 4.6.0 (root@CS.McGill.CA) (gcc (Ubuntu 5.2.1-22ubuntu2) 5.2.1 20151010) debug=y Mon Dec 28 21:34:16 EST 2015

Output of `lsb_release -a`:

    No LSB modules are available.

    Distributor ID: Ubuntu

    Description:    Ubuntu 15.10

    Release:        15.10

    Codename:       wily

I can provide more information if you tell me what to look for. Also,

I would LOVE a work-around.