[rtems commit] bsp/lm3s69xx: Use shared timer stub driver

[Sebastian Huber]

Module:    rtems
Branch:    master
Commit:    954393caecb720a1b025f806e368c4ba8bb55c44
Changeset: http://git.rtems.org/rtems/commit/?id=954393caecb720a1b025f806e368c4ba8bb55c44

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Sat Mar 24 20:57:21 2012 +0100

bsp/lm3s69xx: Use shared timer stub driver

---

 c/src/lib/libbsp/arm/lm3s69xx/Makefile.am   |    2 +-
 c/src/lib/libbsp/arm/lm3s69xx/timer/timer.c |   35 ---------------------------
 2 files changed, 1 insertions(+), 36 deletions(-)

diff --git a/c/src/lib/libbsp/arm/lm3s69xx/Makefile.am b/c/src/lib/libbsp/arm/lm3s69xx/Makefile.am
index ae26006..6267c55 100644
--- a/c/src/lib/libbsp/arm/lm3s69xx/Makefile.am
+++ b/c/src/lib/libbsp/arm/lm3s69xx/Makefile.am
@@ -103,7 +103,7 @@ libbsp_a_SOURCES += ../../shared/clockdrv_shell.h
 libbsp_a_SOURCES += ../shared/armv7m/clock/armv7m-clock-config.c
 
 # Timer
-libbsp_a_SOURCES += timer/timer.c
+libbsp_a_SOURCES += ../../shared/timerstub.c
 
 # Cache
 libbsp_a_SOURCES += ../../../libcpu/shared/src/cache_manager.c \
diff --git a/c/src/lib/libbsp/arm/lm3s69xx/timer/timer.c b/c/src/lib/libbsp/arm/lm3s69xx/timer/timer.c
deleted file mode 100644
index 94e41bb..0000000
--- a/c/src/lib/libbsp/arm/lm3s69xx/timer/timer.c
+++ /dev/null
@@ -1,35 +0,0 @@
-/*
- * Copyright (c) 2011 Sebastian Huber.  All rights reserved.
- *
- *  embedded brains GmbH
- *  Obere Lagerstr. 30
- *  82178 Puchheim
- *  Germany
- *  <rtems at embedded-brains.de>
- *
- * 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.
- */
-
-#include <rtems/btimer.h>
-
-static bool benchmark_timer_find_average_overhead = false;
-
-void benchmark_timer_initialize(void)
-{
-  /* TODO */
-}
-
-uint32_t benchmark_timer_read(void)
-{
-  /* TODO */
-  return 0;
-}
-
-void benchmark_timer_disable_subtracting_average_overhead(
-  bool find_average_overhead
-)
-{
-  benchmark_timer_find_average_overhead = find_average_overhead;
-}