1/*
2** Copyright 2003, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
3** Distributed under the terms of the MIT License.
4*/
5#ifndef KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H
6#define KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H
7
8#ifndef KERNEL_BOOT_STAGE2_ARGS_H
9#	error This file is included from <boot/stage2_args.h> only
10#endif
11
12struct platform_stage2_args {
13};
14
15#endif	/* KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H */
16