From 572030aca6ccded110e8a95a6bc3a0c30e82e148 Mon Sep 17 00:00:00 2001
From: Alexander von Gluck IV <kallisti5@unixzen.com>
Date: Wed, 8 Aug 2018 09:46:36 -0500
Subject: [PATCH] kernel/efi: Add efi platform

Change-Id: Ie3cc4b4652d56983147221db9fbee6b72f177b1b
---
 src/system/kernel/platform/efi/Jamfile      | 8 ++++++++
 src/system/kernel/platform/efi/platform.cpp | 3 +++
 2 files changed, 11 insertions(+)
 create mode 100644 src/system/kernel/platform/efi/Jamfile
 create mode 100644 src/system/kernel/platform/efi/platform.cpp

diff --git a/src/system/kernel/platform/efi/Jamfile b/src/system/kernel/platform/efi/Jamfile
new file mode 100644
index 0000000000..af1f101a34
--- /dev/null
+++ b/src/system/kernel/platform/efi/Jamfile
@@ -0,0 +1,8 @@
+SubDir HAIKU_TOP src system kernel platform efi ;
+
+SubDirCcFlags $(TARGET_KERNEL_PIC_CCFLAGS) ;
+SubDirC++Flags $(TARGET_KERNEL_PIC_CCFLAGS) ;
+
+KernelMergeObject kernel_platform_efi.o :
+	platform.cpp
+;
diff --git a/src/system/kernel/platform/efi/platform.cpp b/src/system/kernel/platform/efi/platform.cpp
new file mode 100644
index 0000000000..b72ff645bd
--- /dev/null
+++ b/src/system/kernel/platform/efi/platform.cpp
@@ -0,0 +1,3 @@
+/*
+ *  Just a dummy for now.
+ */