1 files changed, 0 insertions, 100 deletions
diff --git a/tools/schedsim/rtems/wkspace.c b/tools/schedsim/rtems/wkspace.c
deleted file mode 100644
index f4209d5f73..0000000000
--- a/tools/schedsim/rtems/wkspace.c
+++ /dev/null
@@ -1,100 +0,0 @@
-/*
- *  BASED UPON SOURCE IN RTEMS, MODIFIED FOR SIMULATOR
- *
- *  Workspace Handler
- *
- *  COPYRIGHT (c) 1989-2010.
- *  On-Line Applications Research Corporation (OAR).
- *
- *  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$
- */
-
-#if HAVE_CONFIG_H
-#include "config.h"
-#endif
-
-#include <rtems/system.h>
-#include <rtems/score/wkspace.h>
-#include <rtems/score/interr.h>
-
-#include <stdlib.h>
-
-#if defined(DEBUG_WORKSPACE)
-  #include <stdio.h>
-#endif
-
-/*
- *  _Workspace_Handler_initialization
- */
-void _Workspace_Handler_initialization(void)
-{
-}
-
-/*
- *  _Workspace_Allocate
- */
-void *_Workspace_Allocate(
-  size_t   size
-)
-{
-  void *memory;
-
-  memory = calloc( 1, size );
-  #if defined(DEBUG_WORKSPACE)
-    fprintf(
-      stderr,
-      "Workspace_Allocate(%d) from %p/%p -> %p\n",
-      size,
-      __builtin_return_address( 0 ),
-      __builtin_return_address( 1 ),
-      memory
-    );
-  #endif
-  return memory;
-}
-
-/*
- *  _Workspace_Free
- */
-void _Workspace_Free(
-  void *block
-)
-{
-  #if defined(DEBUG_WORKSPACE)
-    fprintf(
-      stderr,
-      block,
-      __builtin_return_address( 0 ),
-      __builtin_return_address( 1 )
-    );
-  #endif
-  free( block );
-}
-
-/*
- *  _Workspace_Allocate_or_fatal_error
- */
-void *_Workspace_Allocate_or_fatal_error(
-  size_t      size
-)
-{
-  void *memory;
-
-  memory = calloc( 1, size );
-  #if defined(DEBUG_WORKSPACE)
-    fprintf(
-      stderr,
-      "Workspace_Allocate_or_fatal_error(%d) from %p/%p -> %p\n",
-      size,
-      __builtin_return_address( 0 ),
-      __builtin_return_address( 1 ),
-      memory
-    );
-  #endif
-
-  return memory;
-}