Hello, I have uploaded to debian-ports a patched version of gdb for hardware watch support. This needs the latest git gnumach. Samuel