1 /** @file 2 Boot UEFI Linux. 3 4 Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR> 5 6 This program and the accompanying materials 7 are licensed and made available under the terms and conditions of the BSD License 8 which accompanies this distribution. The full text of the license may be found at 9 http://opensource.org/licenses/bsd-license.php 10 11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 13 14 **/ 15 16 #ifndef _LOAD_LINUX_LIB_INCLUDED_ 17 #define _LOAD_LINUX_LIB_INCLUDED_ 18 19 #include <Uefi.h> 20 #include <Library/LoadLinuxLib.h> 21 #include <Library/BaseLib.h> 22 #include <Library/BaseMemoryLib.h> 23 #include <Library/DebugLib.h> 24 #include <Library/MemoryAllocationLib.h> 25 #include <Library/UefiBootServicesTableLib.h> 26 #include <Library/UefiRuntimeServicesTableLib.h> 27 28 #include <IndustryStandard/LinuxBzimage.h> 29 30 #include <Protocol/GraphicsOutput.h> 31 32 VOID 33 EFIAPI 34 JumpToKernel ( 35 VOID *KernelStart, 36 VOID *KernelBootParams 37 ); 38 39 VOID 40 EFIAPI 41 JumpToUefiKernel ( 42 EFI_HANDLE ImageHandle, 43 EFI_SYSTEM_TABLE *SystemTable, 44 VOID *KernelBootParams, 45 VOID *KernelStart 46 ); 47 48 VOID 49 InitLinuxDescriptorTables ( 50 VOID 51 ); 52 53 VOID 54 SetLinuxDescriptorTables ( 55 VOID 56 ); 57 58 #endif 59 60