diff -r 000000000000 -r 96e5fb8b040d kernel/eka/include/memmodel/emul/platform.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/eka/include/memmodel/emul/platform.h	Thu Dec 17 09:24:54 2009 +0200
@@ -0,0 +1,24 @@
+// Copyright (c) 1998-2009 Nokia Corporation and/or its subsidiary(-ies).
+// All rights reserved.
+// This component and the accompanying materials are made available
+// under the terms of the License "Eclipse Public License v1.0"
+// which accompanies this distribution, and is available
+// at the URL "http://www.eclipse.org/legal/epl-v10.html".
+//
+// Initial Contributors:
+// Nokia Corporation - initial contribution.
+//
+// Contributors:
+//
+// Description:
+// e32\include\memmodel\emul\platform.h
+// Public header file for device drivers
+// 
+//
+
+#ifndef __M32STD_H__
+#define __M32STD_H__
+#include <kernel/kernel.h>
+
+#endif
+