Last change
on this file was 99404, checked in by vboxsync, 2 years ago |
Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it build, bugref:4643
|
-
Property svn:eol-style
set to
native
|
File size:
946 bytes
|
Line | |
---|
1 | /** @file
|
---|
2 | Boot UEFI Linux.
|
---|
3 |
|
---|
4 | Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR>
|
---|
5 |
|
---|
6 | SPDX-License-Identifier: BSD-2-Clause-Patent
|
---|
7 |
|
---|
8 | **/
|
---|
9 |
|
---|
10 | #ifndef _LOAD_LINUX_LIB_INCLUDED_
|
---|
11 | #define _LOAD_LINUX_LIB_INCLUDED_
|
---|
12 |
|
---|
13 | #include <Uefi.h>
|
---|
14 | #include <Library/LoadLinuxLib.h>
|
---|
15 | #include <Library/BaseLib.h>
|
---|
16 | #include <Library/BaseMemoryLib.h>
|
---|
17 | #include <Library/DebugLib.h>
|
---|
18 | #include <Library/MemoryAllocationLib.h>
|
---|
19 | #include <Library/UefiBootServicesTableLib.h>
|
---|
20 | #include <Library/UefiRuntimeServicesTableLib.h>
|
---|
21 |
|
---|
22 | #include <IndustryStandard/LinuxBzimage.h>
|
---|
23 |
|
---|
24 | #include <Protocol/GraphicsOutput.h>
|
---|
25 |
|
---|
26 | VOID
|
---|
27 | EFIAPI
|
---|
28 | JumpToKernel (
|
---|
29 | VOID *KernelStart,
|
---|
30 | VOID *KernelBootParams
|
---|
31 | );
|
---|
32 |
|
---|
33 | VOID
|
---|
34 | EFIAPI
|
---|
35 | JumpToUefiKernel (
|
---|
36 | EFI_HANDLE ImageHandle,
|
---|
37 | EFI_SYSTEM_TABLE *SystemTable,
|
---|
38 | VOID *KernelBootParams,
|
---|
39 | VOID *KernelStart
|
---|
40 | );
|
---|
41 |
|
---|
42 | VOID
|
---|
43 | InitLinuxDescriptorTables (
|
---|
44 | VOID
|
---|
45 | );
|
---|
46 |
|
---|
47 | VOID
|
---|
48 | SetLinuxDescriptorTables (
|
---|
49 | VOID
|
---|
50 | );
|
---|
51 |
|
---|
52 | #endif
|
---|
Note:
See
TracBrowser
for help on using the repository browser.