1/*
2 * Copyright 2019-2022 Haiku, Inc. All Rights Reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#include <KernelExport.h>
6#include <arch/platform.h>
7#include <boot/kernel_args.h>
8#include <boot_item.h>
9
10
11void *gFDT = NULL;
12phys_addr_t sACPIRootPointer = 0;
13
14
15status_t
16arch_platform_init(struct kernel_args *kernelArgs)
17{
18	gFDT = kernelArgs->arch_args.fdt;
19	return B_OK;
20}
21
22
23status_t
24arch_platform_init_post_vm(struct kernel_args *kernelArgs)
25{
26	if (kernelArgs->arch_args.acpi_root) {
27		sACPIRootPointer = kernelArgs->arch_args.acpi_root.Get();
28		add_boot_item("ACPI_ROOT_POINTER", &sACPIRootPointer, sizeof(sACPIRootPointer));
29	}
30
31	return B_OK;
32}
33
34
35status_t
36arch_platform_init_post_thread(struct kernel_args *kernelArgs)
37{
38	return B_OK;
39}
40