From 258f36cabcf6f2d006f8a1e62f037a217bc30c9f Mon Sep 17 00:00:00 2001
From: Peter Mitsis <peter.mitsis@windriver.com>
Date: Wed, 22 Apr 2015 09:39:17 -0400
Subject: [PATCH] Remove references to obsolete symbol _minik_stckp

The symbol _minik_stckp is not used.

Change-Id: I61c774c92d31a930264552d58a7f587ea2291866
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
---
 include/microkernel.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/microkernel.h b/include/microkernel.h
index 61f5a3f8e8..ecdff1207d 100644
--- a/include/microkernel.h
+++ b/include/microkernel.h
@@ -79,8 +79,6 @@ extern void init_drivers(void); /* generated function */
 extern const knode_t K_ThisNode;
 extern int K_StackSize;
 
-extern void *_minik_stckp;
-
 extern const uint32_t MTS_CommBufferSize;
 extern int MTS_RxBuffer[];
 extern int MTS_TxBuffer[];