// Copyright 2016 The Fuchsia Authors. All rights reserved. | |
// Use of this source code is governed by a BSD-style license that can be | |
// found in the LICENSE file. | |
#include <efi.h> | |
typedef struct { | |
UINT8* zeropage; | |
UINT8* cmdline; | |
void* image; | |
UINT32 pages; | |
} kernel_t; | |
int boot_kernel(EFI_HANDLE img, EFI_SYSTEM_TABLE* sys, | |
void* image, size_t sz, void* ramdisk, size_t rsz, | |
void* cmdline, size_t csz, void* cmdline2, size_t csz2); |