[PATCH 07/10] gdb: add qMachineId packet

[Tom Tromey]

>>>>> "Andrew" == Andrew Burgess via Gdb-patches <gdb-patches@sourceware.org> writes:

Andrew>   linux-boot-id - this returns the value from the file
Andrew>   /proc/sys/kernel/random/boot_id, which, if I understand correctly,
Andrew>   should be unique(ish) for each boot of each machine, and

At one point I thought I found docs saying this should be kept
confidential and in particular not sent over the network.  I can't find
those any more but I did find them for /etc/machine-id.

When we discussed this on irc, Pedro had a different idea, based on
using the existing remote file operations: write a random number /
identifying string to a local file (say, something in /tmp or maybe
gdb's cache directory), then ask the remote to read it.  If the read
succeeds and the result is identical, assume the machines are the same.

Tom