new file mode 100644
--- /dev/null
+++ b/packages/hal/arm/pid/current/src/prog_flash.c
@@ -0,0 +1,214 @@
+//==========================================================================
+//
+//        prog_flash.c
+//
+//        ARM PID7 eval board FLASH program tool
+//
+//==========================================================================
+//####COPYRIGHTBEGIN####
+//                                                                          
+// -------------------------------------------                              
+// The contents of this file are subject to the Red Hat eCos Public License 
+// Version 1.1 (the "License"); you may not use this file except in         
+// compliance with the License.  You may obtain a copy of the License at    
+// http://www.redhat.com/                                                   
+//                                                                          
+// 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 Configurable Operating System,      
+// released September 30, 1998.                                             
+//                                                                          
+// The Initial Developer of the Original Code is Red Hat.                   
+// Portions created by Red Hat are                                          
+// Copyright (C) 1998, 1999, 2000 Red Hat, Inc.                             
+// All Rights Reserved.                                                     
+// -------------------------------------------                              
+//                                                                          
+//####COPYRIGHTEND####
+//==========================================================================
+//#####DESCRIPTIONBEGIN####
+//
+// Author(s):     gthomas
+// Contributors:  gthomas
+// Date:          1998-11-18
+// Description:   Tool used to program onboard FLASH image
+//####DESCRIPTIONEND####
+
+//
+// This program will program the FLASH on the PID board
+// It is similar to 'flash' (which also downloads S records) but it always
+// programs from a fixed buffer.  This is sufficient to load/update the GDB
+// stubs on the board.
+//
+
+#include <pkgconf/libc.h>   // Configuration header
+
+#include <cyg/kernel/kapi.h>
+#include <stdlib.h>
+#include <ctype.h>
+#include <cyg/infra/testcase.h>
+#include <sys/cstartup.h>
+
+#ifndef FALSE
+#define FALSE 0
+#define TRUE  1
+#endif
+
+extern void diag_printf(const char *, ...);
+int identify_FLASH(void);
+void write_sector(int, char *);
+
+char *flash_buffer =     (char *)0x60000;
+char *flash_buffer_end = (char *)0x80000;
+
+#ifdef BE_IMAGE
+#define BUF(x) buf[x^3]
+#else
+#define BUF(x) buf[x]
+#endif
+
+// FUNCTIONS
+
+externC void
+cyg_package_start( void )
+{
+#ifdef CYGPKG_LIBC
+    cyg_iso_c_start();
+#else
+    (void)main(0, NULL);
+#endif
+} // cyg_package_start()
+
+int
+main( int argc, char *argv[] )
+{
+    int i;
+
+    diag_printf("FLASH here!\n");
+    while (identify_FLASH() == 0) {
+        diag_printf("... Please change FLASH jumper\n");
+        cyg_thread_delay(5*100);
+    }
+    diag_printf("About to program FLASH using data at %x..%x\n", flash_buffer, flash_buffer_end);
+    diag_printf("*** Press RESET now to abort!\n");
+    cyg_thread_delay(5*100);
+    diag_printf("\n");
+    diag_printf("...Programming FLASH\n");
+
+    i = 0;
+    while (flash_buffer < flash_buffer_end) {
+        write_sector(i++, flash_buffer);
+        flash_buffer += 256;
+    }
+    diag_printf("All done!\n");
+    while (1) ;
+}
+
+// Adapted from ARM sample code
+#define SEQ_ADD1                0x5555
+#define SEQ_ADD2                0xAAAA
+#define START_CMD1              0xAA
+#define START_CMD2              0x55
+#define ID_CMD                  0x90
+#define PROG_CMD                0xA0
+#define STOP_CMD                0xF0
+
+#define MAN_ATMEL               0x1F
+#define ATMEL_AT29C040_ID       0X5B
+#define ATMEL_AT29C040A_ID      0XA4
+#define ATMEL_AT29C1024_ID      0X25
+#define ATMEL_SECTOR_SIZE       256
+#define ATMEL_MAX_SECTORS       2048
+
+int manuf_code, device_code, sector_size, max_no_of_sectors, word_mode;
+volatile char *FLASH = (volatile char *)0x04000000;
+
+int
+identify_FLASH(void )
+{
+    // Enter Software Product Identification Mode
+    FLASH[SEQ_ADD1] = START_CMD1;
+    FLASH[SEQ_ADD2] = START_CMD2;
+    FLASH[SEQ_ADD1] = ID_CMD;
+
+    // Wait at least 10ms
+    cyg_thread_delay(2);
+
+    // Read Manufacturer and device code from the device
+    manuf_code = FLASH[0];
+    device_code = FLASH[1];
+
+    diag_printf("manuf: %x, device: %x\n", manuf_code, device_code);
+
+    // Exit Software Product Identification Mode
+    FLASH[SEQ_ADD1] = START_CMD1;
+    FLASH[SEQ_ADD2] = START_CMD2;
+    FLASH[SEQ_ADD1] = STOP_CMD;
+
+    // Wait at least 10ms
+    cyg_thread_delay(5);
+
+    if (manuf_code != MAN_ATMEL) {
+        diag_printf ( "Error: Wrong Manufaturer: %02x\n",manuf_code );
+        return (0);
+    }
+
+    switch (device_code) {
+    case  ATMEL_AT29C040A_ID:
+        diag_printf ("AT29C040A recognised\n");
+        sector_size = ATMEL_SECTOR_SIZE;
+        max_no_of_sectors = ATMEL_MAX_SECTORS;
+        word_mode = FALSE;
+        break;
+    case  ATMEL_AT29C1024_ID:
+        diag_printf ("AT29C1024 recognised\n");
+        sector_size = ATMEL_SECTOR_SIZE;
+        max_no_of_sectors = ATMEL_MAX_SECTORS;
+        word_mode = TRUE;
+        break;
+    default :
+        diag_printf ( "Error: Unsupported device: %02x\n", device_code);
+        return (0);
+    }
+    return (1);
+}
+
+void
+write_sector(int num, char *buf)
+{
+    int i, cnt;
+    volatile char *wrt = (volatile char *)&FLASH[num*sector_size];
+
+//    diag_printf("Writing to %08x\n", wrt);
+    // Enter Program Mode
+    FLASH[SEQ_ADD1] = START_CMD1;
+    FLASH[SEQ_ADD2] = START_CMD2;
+    FLASH[SEQ_ADD1] = PROG_CMD;
+
+    // Note: write bytes as longs regardless of bus width
+    for (i = 0;  i < sector_size;  i++) {
+        wrt[i] = BUF(i);
+    }
+
+    // Wait for sector to program
+    cnt = 0;
+    i = sector_size - 1;
+    while (wrt[i] != BUF(i)) {
+        if (cnt++ > 0x01000000) break;
+    }
+//    diag_printf("Out - i: %d, wrt[i] = %08X.%08X, BUF(i) = %08X, count = %x\n", i, &wrt[i], wrt[i], BUF(i), cnt);
+
+    // Verify
+    for (i = 0;  i < sector_size;  i++) {
+        for (cnt = 0;  cnt < 10;  cnt++) {
+            if (wrt[i] == BUF(i)) break;
+            cyg_thread_delay(1);
+        }
+        if (cnt == 10) {
+            diag_printf("Can't program at 0x%08X: %02X not %02X\n", wrt, *wrt, BUF(0));
+        }
+    }
+}