From b52882f540fa32482a10b2bddde1f759b696d287 Mon Sep 17 00:00:00 2001
From: Peter Mitsis <peter.mitsis@windriver.com>
Date: Wed, 15 Apr 2015 15:25:41 -0400
Subject: [PATCH] Minimize k_boot.h's header file inclusion

The header file k_boot.h does not need everything that "k_types.h" drags in.
It only needs "stdint.h" for the uint32_t type.  This has an immediate impact
on "flashboot.c" as it was improperly relying upon the extra items that
"k_boot.h" dragged in.

Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
Change-Id: Ib8bfbec52a1198846295d549091dc30bf041d97a
---
 include/microkernel/k_boot.h        | 2 +-
 kernel/microkernel/core/flashboot.c | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/include/microkernel/k_boot.h b/include/microkernel/k_boot.h
index b4955a7ddba..6b3260a1490 100644
--- a/include/microkernel/k_boot.h
+++ b/include/microkernel/k_boot.h
@@ -33,7 +33,7 @@
 #ifndef __K_BOOT_H__
 #define __K_BOOT_H__
 
-#include <microkernel/k_types.h>
+#include <stdint.h>
 
 #ifdef __cplusplus
 extern "C" {
diff --git a/kernel/microkernel/core/flashboot.c b/kernel/microkernel/core/flashboot.c
index 6f5dda57a5b..95e93d54e25 100644
--- a/kernel/microkernel/core/flashboot.c
+++ b/kernel/microkernel/core/flashboot.c
@@ -31,7 +31,9 @@
  */
 
 
-#include "microkernel/k_boot.h"
+#include <microkernel/k_boot.h>
+#include <toolchain.h>
+#include <stdint.h>
 
 extern uint32_t *_currentbootinfo_word;