Add built-in Linux kernel

Signed-off-by: Sophon <strongtz@yeah.net>
Signed-off-by: BigfootACA <bigfoot@classfun.cn>

diff --git a/845/BuiltinLinuxKrl/BuiltinLinuxKrl.efi b/845/BuiltinLinuxKrl/BuiltinLinuxKrl.efi
new file mode 100755 (executable)
index 0000000..e6bb14f
Binary files /dev/null and b/845/BuiltinLinuxKrl/BuiltinLinuxKrl.efi differ

diff --git a/845/BuiltinLinuxKrl/BuiltinLinuxKrl.inf b/845/BuiltinLinuxKrl/BuiltinLinuxKrl.inf
new file mode 100644 (file)
index 0000000..b2bc45e
--- /dev/null
+++ b/845/BuiltinLinuxKrl/BuiltinLinuxKrl.inf
@@ -0,0 +1,13 @@
+[Defines]
+  INF_VERSION                     = 0x00010005
+  BASE_NAME                       = BuiltinLinuxKrl
+  FILE_GUID                       = 2a24787e-e09c-43ce-b5cf-d03066f6092f                                    
+  MODULE_TYPE                     = UEFI_APPLICATION
+  VERSION_STRING                  = 1.0
+  ENTRY_POINT                     = BuiltinLinuxKrlMain
+
+[Binaries.Arm]
+   PE32|BuiltinLinuxKrl.efi|RELEASE
+
+[Binaries.AARCH64]
+   PE32|BuiltinLinuxKrl.efi|RELEASE