NetBSD xl core-dump not working... Memory fault (core dumped)

[Miguel Clara <miguelmclara%gmail.com@localhost>]

I was trying to get a core-dump for a domU with xl and got this error:

# xl dump-core 20 test.core
Memory fault

GDB shows this:

a# gdb xl xl.core
GNU gdb (GDB) 7.3.1
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64--netbsd".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /usr/sbin/xl...done.
[New process 1]
Core was generated by `xl'.
Program terminated with signal 11, Segmentation fault.
#0  0x00007f7ff7007b45 in xc_domain_dumpcore_via_callback
(xch=0x7f7ff7b0d800, domid=20, args=0x7f7fffffdae0,
dump_rtn=0x7f7ff700632c <local_file_dump>)
    at xc_core.c:860
860     xc_core.c: No such file or directory.
        in xc_core.c


(gdb) backtrace
#0  0x00007f7ff7007b45 in xc_domain_dumpcore_via_callback
(xch=0x7f7ff7b0d800, domid=20, args=0x7f7fffffdae0,
dump_rtn=0x7f7ff700632c <local_file_dump>)
    at xc_core.c:860
#1  0x00007f7ff7007fda in xc_domain_dumpcore (xch=0x7f7ff7b0d800,
domid=20, corename=0x7f7ffffffe78 "test.core") at xc_core.c:983
#2  0x00007f7ff74117b3 in libxl_domain_core_dump (ctx=0x7f7ff7b03200,
domid=20, filename=0x7f7ffffffe78 "test.core", ao_how=<optimized out>)
at libxl.c:808
#3  0x000000000040f748 in core_dump_domain (filename=0x7f7ffffffe78
"test.core", domain_spec=<optimized out>) at xl_cmdimpl.c:3301
#4  main_dump_core (argc=<optimized out>, argv=0x7f7fffffdca0) at
xl_cmdimpl.c:3642
#5  0x0000000000407055 in main (argc=3, argv=0x7f7fffffdca0) at xl.c:267



  Thanks