--- a/packages/hal/mips/arch/current/include/pkgconf/hal_tx39.h
+++ b/packages/hal/mips/arch/current/include/pkgconf/hal_tx39.h
@@ -2,9 +2,9 @@
 #define CYGONCE_PKGCONF_HAL_TX39_H
 // ====================================================================
 //
-//	pkgconf/hal_tx39.h
+//      pkgconf/hal_tx39.h
 //
-//	HAL configuration file
+//      HAL configuration file
 //
 // ====================================================================
 //####COPYRIGHTBEGIN####
@@ -24,17 +24,17 @@
 // September 30, 1998.
 // 
 // The Initial Developer of the Original Code is Cygnus.  Portions created
-// by Cygnus are Copyright (C) 1998 Cygnus Solutions.  All Rights Reserved.
+// by Cygnus are Copyright (C) 1998,1999 Cygnus Solutions.  All Rights Reserved.
 // -------------------------------------------
 //
 //####COPYRIGHTEND####
 // ====================================================================
 //#####DESCRIPTIONBEGIN####
 //
-// Author(s): 	        bartv
-// Contributors:	bartv
-// Date:	        1998-09-02	
-// Purpose:	        To allow the user to edit HAL configuration options.
+// Author(s):           bartv
+// Contributors:        bartv
+// Date:                1998-09-02      
+// Purpose:             To allow the user to edit HAL configuration options.
 // Description:
 //
 //####DESCRIPTIONEND####
@@ -56,8 +56,62 @@
            select a specific target platform HAL package."
    }
 
+   cdl_option CYGHWR_HAL_MIPS_CPU_FREQ {
+       display "CPU frequency"
+       type     count
+       legal_values 0 to 1000000
+       parent  CYGPKG_HAL_TX39
+       description "
+           This option contains the frequency of the CPU in MegaHertz.
+           Choose the frequency to match the processor you have. This
+           may affect thing like serial device, interval clock and
+           memory access speed settings."
+   }
+   
+   cdl_option CYGDBG_HAL_MIPS_INSTALL_CTRL_C_ISR {
+       display "Install an Interrupt Service Routine to catch HALT requests"
+       type     bool
+       parent   CYGPKG_HAL_TX39
+       description "
+           This option enables startup code to install a default ISR on the
+           serial debug connection which reads characters looking for the
+           HALT character control-C (\003). This allows a running program
+           to be interrupted from GDB. This option only has effect if eCos
+           is configured to run with the Cygmon ROM monitor on the JMR3904
+           development board. Interrupts must be enabled for the code to
+           work. The serial device drivers, if enabled, do take over the
+           ISR and function correctly."
+   }
+   
    }}CFG_DATA */
 
+
+#define CYGHWR_HAL_MIPS_CPU_FREQ        50
+
+#define CYGDBG_HAL_MIPS_INSTALL_CTRL_C_ISR
+
+/* -------------------------------------------------------------------*/
+/* Workaround for TX3904 Timer TRR register problem                   */
+/*                                                                    */
+/* We do it conditionally so that it is possible to override it on    */
+/* the command line, for example, for a simulator build               */
+#ifndef CYGARC_TX39_PR19846
+# define CYGHWR_HAL_MIPS_TX3904_TRR_REQUIRES_SYNC
+#endif
+
+
+/* -------------------------------------------------------------------*/
+/* translate the user defined CPU frequency into a the real number of */
+/* cycles.                                                            */
+
+#if (CYGHWR_HAL_MIPS_CPU_FREQ == 50)
+#define CYGHWR_HAL_MIPS_CPU_FREQ_ACTUAL 49152000
+#elif (CYGHWR_HAL_MIPS_CPU_FREQ == 66)
+#define CYGHWR_HAL_MIPS_CPU_FREQ_ACTUAL 66355200
+#else
+#error Unsupported TX39 CPU frequency
+#endif
+
 /* -------------------------------------------------------------------*/
 #endif  /* CYGONCE_PKGCONF_HAL_TX39_H */
 /* EOF hal_tx39.h */