/*
** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
** Distributed under the terms of the OpenBeOS License.
*/
#ifndef KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H
#define KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H

#ifndef KERNEL_BOOT_STAGE2_ARGS_H
#	error This file is included from <boot/stage2_args.h> only
#endif

struct platform_stage2_args {
};

#endif	/* KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H */
