diff --git a/include/microkernel.h b/include/microkernel.h
index 10fa51b2fac..cf045b13eb6 100644
--- a/include/microkernel.h
+++ b/include/microkernel.h
@@ -39,7 +39,7 @@
 
 /* microkernel public APIs */
 
-#include <microkernel/k_types.h>
+#include <microkernel/base_api.h>
 
 #include <microkernel/task.h>
 #include <microkernel/ticks.h>
diff --git a/include/microkernel/k_types.h b/include/microkernel/base_api.h
similarity index 97%
rename from include/microkernel/k_types.h
rename to include/microkernel/base_api.h
index 3bc92f7e53e..6ba121380ab 100644
--- a/include/microkernel/k_types.h
+++ b/include/microkernel/base_api.h
@@ -1,4 +1,4 @@
-/* microkernel/k_types.h */
+/* microkernel/base_api.h */
 
 /*
  * Copyright (c) 1997-2014 Wind River Systems, Inc.
@@ -30,8 +30,8 @@
  * POSSIBILITY OF SUCH DAMAGE.
  */
 
-#ifndef K_TYPES_H
-#define K_TYPES_H
+#ifndef _BASE_API_H
+#define _BASE_API_H
 
 #include <stdint.h>
 
@@ -100,4 +100,4 @@ typedef enum {
 }
 #endif
 
-#endif /* K_TYPES_H */
+#endif /* _BASE_API_H */
diff --git a/include/microkernel/cmdPkt.h b/include/microkernel/cmdPkt.h
index 4b39077824b..ebc9efad717 100644
--- a/include/microkernel/cmdPkt.h
+++ b/include/microkernel/cmdPkt.h
@@ -37,7 +37,7 @@
 extern "C" {
 #endif
 
-#include <microkernel/k_types.h>
+#include <microkernel/base_api.h>
 
 /* define size of command packet (without exposing its internal structure) */
 
diff --git a/include/microkernel/mutex.h b/include/microkernel/mutex.h
index aa5cd3f128d..b4c06b4dd98 100644
--- a/include/microkernel/mutex.h
+++ b/include/microkernel/mutex.h
@@ -37,7 +37,7 @@
 extern "C" {
 #endif
 
-#include  <microkernel/k_types.h>
+#include  <microkernel/base_api.h>
 
 extern int _task_mutex_lock(kmutex_t mutex, int32_t time);
 extern void _task_mutex_unlock(kmutex_t mutex);
diff --git a/include/microkernel/task_irq.h b/include/microkernel/task_irq.h
index 92aaf460ebd..290979327ec 100644
--- a/include/microkernel/task_irq.h
+++ b/include/microkernel/task_irq.h
@@ -33,7 +33,7 @@
 #ifndef TASK_IRQ_H
 #define TASK_IRQ_H
 
-#include <microkernel/k_types.h>
+#include <microkernel/base_api.h>
 
 #define INVALID_VECTOR 0xFFFFFFFF
 
diff --git a/kernel/microkernel/idle.c b/kernel/microkernel/idle.c
index d76b6d44c48..8d6ffdc8c6d 100644
--- a/kernel/microkernel/idle.c
+++ b/kernel/microkernel/idle.c
@@ -284,7 +284,7 @@ unsigned char _sys_power_save_flag = 1;
 #if defined(CONFIG_ADVANCED_POWER_MANAGEMENT)
 
 #include <nanokernel.h>
-#include <microkernel/k_types.h>
+#include <microkernel/base_api.h>
 #ifdef CONFIG_ADVANCED_IDLE
 #include <advidle.h>
 #endif
diff --git a/kernel/microkernel/include/kernel_struct.h b/kernel/microkernel/include/kernel_struct.h
index 162ec4d8b91..8e9f7a3e823 100644
--- a/kernel/microkernel/include/kernel_struct.h
+++ b/kernel/microkernel/include/kernel_struct.h
@@ -33,7 +33,7 @@
 #ifndef _KERNEL_STRUCT_H
 #define _KERNEL_STRUCT_H
 
-#include <microkernel/k_types.h>
+#include <microkernel/base_api.h>
 #include <nanokernel.h>
 #include <stdbool.h>
 
diff --git a/kernel/microkernel/k_pipe_buffer.c b/kernel/microkernel/k_pipe_buffer.c
index 4780b409956..fb6059287ab 100644
--- a/kernel/microkernel/k_pipe_buffer.c
+++ b/kernel/microkernel/k_pipe_buffer.c
@@ -36,7 +36,7 @@
   (Buff->pEnd - pChBuff->pBegin)
 */
 
-#include <microkernel/k_types.h>
+#include <microkernel/base_api.h>
 #include <k_pipe_buffer.h>
 #include <string.h>
 #include <toolchain.h>