1 files changed, 0 insertions, 40 deletions
diff --git a/c/src/lib/libbsp/arm/edb7312/startup/bspclean.c b/c/src/lib/libbsp/arm/edb7312/startup/bspclean.c
deleted file mode 100644
index abdbed15a8..0000000000
--- a/c/src/lib/libbsp/arm/edb7312/startup/bspclean.c
+++ /dev/null
@@ -1,40 +0,0 @@
-/*
- * Cirrus EP7312 BSP Shutdown  code
- *
- * Copyright (c) 2002 by Jay Monkman <jtm@smoothsmoothie.com>
- *
- *  The license and distribution terms for this file may be
- *  found in the file LICENSE in this distribution or at
- *
- *  http://www.rtems.com/license/LICENSE.
- *
- *
- *  $Id$
-*/
-
-#include <stdio.h>
-#include <bsp.h>
-#include <rtems/bspIo.h>
-#include <rtems/libio.h>
-
-int uart_poll_read(int);
-
-void rtemsReboot (void)
-{
-  asm volatile ("b _start");
-}
-
-void bsp_cleanup(void)
-{
-  static   char line[]="\nEXECUTIVE SHUTDOWN! Any key to reboot...";
-  /*
-   * AT this point, the console driver is disconnected => we must
-   * use polled output/input. This is exactly what printk
-   * does.
-   */
-  printk("\n");
-  printk(line);
-  while (uart_poll_read(0) < 0) continue;
-
-  /* rtemsReboot(); */
-}