Marcel Moolenaar wrote: > I'd say: upgrade gdb(1) and add support for ia64 and amd64, as well > as make sure we fix any known showstopper bugs we know of. [ ... ] > Thoughts? Will remote source level kernel debugging continue to work? -- Terry