[reply to set to gdb at sources dot redhat dot com] Hello, The following systems: i[3456]86-sequent-bsd*) gdb_host=symmetry ;; # dynix i[3456]86-sequent-sysv4*) gdb_host=ptx4 ;; i[3456]86-sequent-sysv*) gdb_host=ptx ;; have been identified as candidates for obsolecense: - they have not been updated to use i387-tdep.c - they continue to rely on the deprecated floatformat_{to,from}_double Unless someone steps forward to upgrade those system, their support will be permenantly removed. Andrew GDB Adminstrator