2017-11-18 17:09:20 +01:00
|
|
|
/* SPDX-License-Identifier: LGPL-2.1+ */
|
2015-02-08 12:25:35 +01:00
|
|
|
/*
|
2018-06-12 17:15:23 +02:00
|
|
|
* Copyright © 2015 Kay Sievers <kay@vrfy.org>
|
2015-02-08 12:25:35 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __SDBOOT_kernel_H
|
|
|
|
#define __SDBOOT_kernel_H
|
|
|
|
|
|
|
|
EFI_STATUS linux_exec(EFI_HANDLE *image,
|
|
|
|
CHAR8 *cmdline, UINTN cmdline_size,
|
|
|
|
UINTN linux_addr,
|
2017-12-06 15:29:52 +01:00
|
|
|
UINTN initrd_addr, UINTN initrd_size, BOOLEAN secure);
|
2015-02-08 12:25:35 +01:00
|
|
|
#endif
|