John Baldwin <[email protected]> writes:

  Can you fire up gdb against your 64-bit kernel file (e.g. gdb 
  /boot/kernel/kernel) and do 'l *xn_intr+0x7d'?

I'm afraid my ignorance of how to debug the kernel will show itself
here.

I did this:

1. booted the system.
2. logged in as root on the (vnc) console.
3. issued the command "gdb /boot/kernel/kernel"
4. Issued the above command and got this printout:

(gdb) l *xn_intr+0x7d
0xffffffff8079fb7d is in xn_intr (atomic.h:161).
156     atomic.h: No such file ot directory.
        in atomic.h
(gdb)

This looks somewhat unsatisfactory to me...

If it would be beneficial to the freebsd project, I could bring this
NetBSD+Xen Haswell system to a public IP address and set up a temp
account.  I'd then would like a public ssh key which I can download from
*.freebsd.org.  But if that is not convenient for you, I'll certainly
follow through with any tests you will ask me to perform.

-- 
Torbjörn
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-amd64
To unsubscribe, send any mail to "[email protected]"

Reply via email to