diff --git a/kernel/microkernel/Makefile b/kernel/microkernel/Makefile
index 0184e5bfa42..bcc7829d244 100644
--- a/kernel/microkernel/Makefile
+++ b/kernel/microkernel/Makefile
@@ -1,11 +1,11 @@
 ccflags-y +=-I$(srctree)/kernel/microkernel/include
 
 obj-y = k_task.o
-obj-y += idle.o
+obj-y += k_idle.o
 obj-y += global.o
-obj-y += cmdPkt.o
-obj-y += movedata.o
-obj-y += ticker.o
+obj-y += k_command_packet.o
+obj-y += k_move_data.o
+obj-y += k_ticker.o
 obj-y += k_memory_map.o
 obj-y += k_memory_pool.o
 obj-y += k_irq.o
@@ -20,6 +20,6 @@ obj-y += k_timer.o
 obj-y += k_pipe_buffer.o k_pipe.o k_pipe_get.o \
 	k_pipe_put.o k_pipe_util.o k_pipe_xfer.o
 
-obj-$(CONFIG_MICROKERNEL)  += server.o
-obj-$(CONFIG_TASK_MONITOR) += task_monitor.o
+obj-$(CONFIG_MICROKERNEL)  += k_server.o
+obj-$(CONFIG_TASK_MONITOR) += k_task_monitor.o
 
diff --git a/kernel/microkernel/cmdPkt.c b/kernel/microkernel/k_command_packet.c
similarity index 98%
rename from kernel/microkernel/cmdPkt.c
rename to kernel/microkernel/k_command_packet.c
index 9b9ccc0947f..2d63e0cffe7 100644
--- a/kernel/microkernel/cmdPkt.c
+++ b/kernel/microkernel/k_command_packet.c
@@ -1,4 +1,4 @@
-/* cmdPkt.c - library to manage statically allocated command packets */
+/* k_command_packet.c - microkernel command packet library */
 
 /*
  * Copyright (c) 2012, 2014 Wind River Systems, Inc.
diff --git a/kernel/microkernel/idle.c b/kernel/microkernel/k_idle.c
similarity index 99%
rename from kernel/microkernel/idle.c
rename to kernel/microkernel/k_idle.c
index 8d6ffdc8c6d..5012e59773d 100644
--- a/kernel/microkernel/idle.c
+++ b/kernel/microkernel/k_idle.c
@@ -1,4 +1,4 @@
-/* idle.c - microkernel idle logic */
+/* k_idle.c - microkernel idle logic */
 
 /*
  * Copyright (c) 1997-2010, 2012-2014 Wind River Systems, Inc.
diff --git a/kernel/microkernel/movedata.c b/kernel/microkernel/k_move_data.c
similarity index 99%
rename from kernel/microkernel/movedata.c
rename to kernel/microkernel/k_move_data.c
index 40b0c86e1da..f406cdfa016 100644
--- a/kernel/microkernel/movedata.c
+++ b/kernel/microkernel/k_move_data.c
@@ -1,4 +1,4 @@
-/* movedata.c */
+/* k_move_data.c */
 
 /*
  * Copyright (c) 1997-2014 Wind River Systems, Inc.
diff --git a/kernel/microkernel/server.c b/kernel/microkernel/k_server.c
similarity index 99%
rename from kernel/microkernel/server.c
rename to kernel/microkernel/k_server.c
index 636540c9008..3cc582dab9e 100644
--- a/kernel/microkernel/server.c
+++ b/kernel/microkernel/k_server.c
@@ -1,4 +1,4 @@
-/* server.c - microkernel server */
+/* k_server.c - microkernel server */
 
 /*
  * Copyright (c) 2010, 2012-2015 Wind River Systems, Inc.
diff --git a/kernel/microkernel/task_monitor.c b/kernel/microkernel/k_task_monitor.c
similarity index 98%
rename from kernel/microkernel/task_monitor.c
rename to kernel/microkernel/k_task_monitor.c
index 2b375b9b780..81b535caa43 100644
--- a/kernel/microkernel/task_monitor.c
+++ b/kernel/microkernel/k_task_monitor.c
@@ -1,4 +1,4 @@
-/* task_monitor.c - microkernel task monitoring subsystem */
+/* k_task_monitor.c - microkernel task monitoring subsystem */
 
 /*
  * Copyright (c) 1997-2010, 2013-2015 Wind River Systems, Inc.
diff --git a/kernel/microkernel/ticker.c b/kernel/microkernel/k_ticker.c
similarity index 99%
rename from kernel/microkernel/ticker.c
rename to kernel/microkernel/k_ticker.c
index cca4453bf83..066f34f8bc1 100644
--- a/kernel/microkernel/ticker.c
+++ b/kernel/microkernel/k_ticker.c
@@ -1,4 +1,4 @@
-/* ticker.c - microkernel tick event handler */
+/* k_ticker.c - microkernel tick event handler */
 
 /*
  * Copyright (c) 1997-2010, 2012-2015 Wind River Systems, Inc.