2 * Copyright 2006, Haiku, Inc. All Rights Reserved.
3 * Distributed under the terms of the MIT License.
6 * Ingo Weinhold <bonefish@cs.tu-berlin.de>
7 * Axel Dörfler, axeld@pinc-software.de
11 #include <arch/platform.h>
13 #include <boot_item.h>
14 #include <boot/stage2.h>
18 arch_platform_init(struct kernel_args
*args
)
25 arch_platform_init_post_vm(struct kernel_args
*args
)
27 // Now we can add boot items; pass on the ACPI root pointer
28 add_boot_item("ACPI_ROOT_POINTER",
29 args
->arch_args
.acpi_root
.Pointer(), sizeof(void*));
36 arch_platform_init_post_thread(struct kernel_args
*args
)
38 // APM is not supported on x86_64.