blob: 54140a220749e3fe592021bc7b62aad5b58a40c2 (
plain)
1
2
3
4
5
6
7
8
9
10
|
/* SPDX-License-Identifier: LGPL-2.1+ */
#ifndef __SDBOOT_kernel_H
#define __SDBOOT_kernel_H
EFI_STATUS linux_exec(EFI_HANDLE *image,
CHAR8 *cmdline, UINTN cmdline_size,
UINTN linux_addr,
UINTN initrd_addr, UINTN initrd_size, BOOLEAN secure);
#endif
|