From 94b802f5880405d4b08c44220ab45efcb6bf6721 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Revol?= <revol@free.fr>
Date: Sun, 21 Apr 2013 03:16:46 +0200
Subject: [PATCH] U-Boot: PPC: Tell the kernel we come in peace from U-Boot

---
 src/system/boot/platform/u-boot/arch/ppc/arch_cpu.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/system/boot/platform/u-boot/arch/ppc/arch_cpu.cpp b/src/system/boot/platform/u-boot/arch/ppc/arch_cpu.cpp
index b292d6b36d..83e887509d 100644
--- a/src/system/boot/platform/u-boot/arch/ppc/arch_cpu.cpp
+++ b/src/system/boot/platform/u-boot/arch/ppc/arch_cpu.cpp
@@ -17,6 +17,7 @@
 #include <boot/stage2.h>
 #include <arch/cpu.h>
 #include <arch/ppc/arch_cpu.h>
+#include <arch/ppc/arch_platform.h>
 #include <arch_kernel.h>
 #include <arch_system_info.h>
 #include <platform/openfirmware/devices.h>
@@ -264,6 +265,9 @@ arch_spin(bigtime_t microseconds)
 extern "C" status_t
 boot_arch_cpu_init(void)
 {
+	// This is U-Boot
+	gKernelArgs.arch_args.platform = PPC_PLATFORM_U_BOOT;
+
 	// first check some features
 	// including some necessary for dprintf()...
 	status_t err = check_cpu_features();