1 files changed, 0 insertions, 81 deletions
diff --git a/platform/zynq/debug.c b/platform/zynq/debug.c
deleted file mode 100644
index d9dbd857..00000000
--- a/platform/zynq/debug.c
+++ /dev/null
@@ -1,81 +0,0 @@
-/*
- * Copyright (c) 2008-2014 Travis Geiselbrecht
- *
- * Permission is hereby granted, free of charge, to any person obtaining
- * a copy of this software and associated documentation files
- * (the "Software"), to deal in the Software without restriction,
- * including without limitation the rights to use, copy, modify, merge,
- * publish, distribute, sublicense, and/or sell copies of the Software,
- * and to permit persons to whom the Software is furnished to do so,
- * subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be
- * included in all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
- * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
- * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
- * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
- * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- */
-#include <reg.h>
-#include <stdio.h>
-#include <kernel/thread.h>
-#include <dev/uart.h>
-#include <platform.h>
-#include <platform/debug.h>
-#include <platform/zynq.h>
-#include <target/debugconfig.h>
-#include <reg.h>
-
-/* DEBUG_UART must be defined to 0 or 1 */
-#if defined(DEBUG_UART) && DEBUG_UART == 0
-#define DEBUG_UART_BASE UART0_BASE
-#elif defined(DEBUG_UART) && DEBUG_UART == 1
-#define DEBUG_UART_BASE UART1_BASE
-#else
-#error define DEBUG_UART to something valid
-#endif
-
-void platform_dputc(char c)
-{
-    if (c == '\n')
-        uart_putc(DEBUG_UART, '\r');
-    uart_putc(DEBUG_UART, c);
-}
-
-int platform_dgetc(char *c, bool wait)
-{
-    int ret = uart_getc(DEBUG_UART, wait);
-    if (ret == -1)
-        return -1;
-    *c = ret;
-    return 0;
-
-}
-
-/* zynq specific halt */
-void platform_halt(platform_halt_action suggested_action,
-                   platform_halt_reason reason)
-{
-    switch (suggested_action) {
-        default:
-        case HALT_ACTION_SHUTDOWN:
-        case HALT_ACTION_HALT:
-            printf("HALT: spinning forever... (reason = %d)\n", reason);
-            arch_disable_ints();
-            for (;;)
-                arch_idle();
-            break;
-        case HALT_ACTION_REBOOT:
-            printf("REBOOT\n");
-            arch_disable_ints();
-            for (;;) {
-                zynq_slcr_unlock();
-                SLCR->PSS_RST_CTRL = 1;
-            }
-            break;
-    }
-}