blob: 60c3a07f2c92cd4e68a3070243e7a9a281f79f3e [file] [log] [blame]
// Copyright 2020 The Fuchsia Authors
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
#include <asm.h>
// This header defines KERNEL_IMAGE_FILE.
#include "kernel-image.h"
// Pad out to the header size that was allocated in the kernel image layout.
// This ensures that the kernel image is aligned correctly in memory.