/** @file\r
Boot UEFI Linux.\r
\r
- Copyright (c) 2008 - 2011, Intel Corporation. All rights reserved.<BR>\r
+ Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR>\r
\r
- This program and the accompanying materials\r
- are licensed and made available under the terms and conditions of the BSD License\r
- which accompanies this distribution. The full text of the license may be found at\r
- http://opensource.org/licenses/bsd-license.php\r
-\r
- THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
- WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+ SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
**/\r
\r
VOID\r
EFIAPI\r
JumpToKernel (\r
- VOID *KernelStart,\r
- VOID *KernelBootParams\r
+ VOID *KernelStart,\r
+ VOID *KernelBootParams\r
+ );\r
+\r
+VOID\r
+EFIAPI\r
+JumpToUefiKernel (\r
+ EFI_HANDLE ImageHandle,\r
+ EFI_SYSTEM_TABLE *SystemTable,\r
+ VOID *KernelBootParams,\r
+ VOID *KernelStart\r
);\r
\r
VOID\r
);\r
\r
#endif\r
-\r