// Copyright 2017 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. | |
#ifndef GARNET_BIN_GUEST_VMM_KERNEL_H_ | |
#define GARNET_BIN_GUEST_VMM_KERNEL_H_ | |
#include "garnet/lib/machina/phys_mem.h" | |
static constexpr uintptr_t kRamdiskOffset = 0x4000000; | |
zx_status_t load_kernel(const std::string& kernel_path, | |
const machina::PhysMem& phys_mem, | |
const uintptr_t kernel_off); | |
#endif // GARNET_BIN_GUEST_VMM_KERNEL_H_ |