#include <linux/init.h>
#include <linux/platform_device.h>

#include <asm/i8253.h>
#include <asm/io.h>
#include <asm/time.h>

extern void qemu_reboot_setup(void);

const char *get_system_type(void)
{
	return "Qemu";
}

void __init plat_time_init(void)
{
	setup_pit_timer();
}

void __init plat_mem_setup(void)
{
	qemu_reboot_setup();
}

static struct platform_device pcspeaker_pdev = {
	.name	= "pcspkr",
	.id	= -1,
};

static int __init qemu_platform_devinit(void)
{
	platform_device_register(&pcspeaker_pdev);

	return 0;
}

device_initcall(qemu_platform_devinit);