new file mode 100644
--- /dev/null
+++ b/packages/hal/mips/tx39/current/include/pkgconf/hal_mips_tx39.h
@@ -0,0 +1,106 @@
+#ifndef CYGONCE_PKGCONF_HAL_TX39_H
+#define CYGONCE_PKGCONF_HAL_TX39_H
+// ====================================================================
+//
+//      pkgconf/hal_tx39.h
+//
+//      HAL configuration file
+//
+// ====================================================================
+//####COPYRIGHTBEGIN####
+//
+// -------------------------------------------
+// The contents of this file are subject to the Cygnus eCos Public License
+// Version 1.0 (the "License"); you may not use this file except in
+// compliance with the License.  You may obtain a copy of the License at
+// http://sourceware.cygnus.com/ecos
+// 
+// Software distributed under the License is distributed on an "AS IS"
+// basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See the
+// License for the specific language governing rights and limitations under
+// the License.
+// 
+// The Original Code is eCos - Embedded Cygnus Operating System, released
+// September 30, 1998.
+// 
+// The Initial Developer of the Original Code is Cygnus.  Portions created
+// by Cygnus are Copyright (C) 1998,1999 Cygnus Solutions.  All Rights Reserved.
+// -------------------------------------------
+//
+//####COPYRIGHTEND####
+// ====================================================================
+//#####DESCRIPTIONBEGIN####
+//
+// Author(s):           nickg
+// Contributors:        nickg
+// Date:                1999-04-06      
+// Purpose:             To allow the user to edit HAL configuration options.
+// Description:
+//
+//####DESCRIPTIONEND####
+//
+// ====================================================================
+
+#include <pkgconf/hal_mips.h>
+#include CYGBLD_HAL_PLATFORM_H
+
+/* -------------------------------------------------------------------
+ * Decide which variant of the MIPS family we have.
+
+ {{CFG_DATA
+
+   cdl_package CYGPKG_HAL_MIPS_TX39 {
+       display "TX39 variant"
+       type    radio
+       parent  CYGFUN_HAL_MIPS_VARIANTS
+       target  mips_tx39
+       description "
+           The TX39 architecture HAL package provides generic support
+           for this processor architecture. It is also necessary to
+           select a specific target platform HAL package."
+   }
+ 
+   cdl_option CYGPKG_HAL_MIPS_TX3904 {
+       display "TX3904 microprocessor"
+       parent  CYGPKG_HAL_MIPS_TX39
+       type    radio
+       description "
+           The TMPR3904F microprocessor. This is an emedded part that in
+           addition to the TX39 processor core has built in peripherals
+           such as memory controllers, DMA controllers, serial ports and
+           timers/counters."               
+   }
+
+ }}CFG_DATA */
+
+#define CYGPKG_HAL_MIPS_TX3904
+
+/* -------------------------------------------------------------------*/
+/* 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.                                                            */
+
+#ifdef CYGPKG_HAL_MIPS_TX3904
+
+#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 TX3904 CPU frequency
+#endif
+
+#endif
+
+/* -------------------------------------------------------------------*/
+#endif  /* CYGONCE_PKGCONF_HAL_TX39_H */
+/* EOF hal_tx39.h */