/*
 * SPDX-License-Identifier: Apache-2.0
 * Copyright (c) 2019 Intel Corp.
 */

extern void multiboot(void);
extern void acpi(void);
extern void timer(void);
extern void memmap(void);