cris-*-* | crisv32-*-*)
libgloss_dir=cris
;;
+ kvx-*-elf)
+ libgloss_dir=kvx-elf
+ ;;
+ kvx-*-mbr)
+ libgloss_dir=kvx-mbr
+ ;;
+ kvx-*-cos)
+ libgloss_dir=kvx-cos
+ ;;
hppa*-*-*)
libgloss_dir=pa
;;
i[[3456789]]86-*-rdos*)
noconfigdirs="$noconfigdirs gdb"
;;
+ kvx-*-*)
+ noconfigdirs="$noconfigdirs gdb gdbserver sim"
+ ;;
mmix-*-*)
noconfigdirs="$noconfigdirs gdb"
;;