/*
 * TIZEN base board
 *
 * Copyright (c) 2011 Samsung Electronics Co., Ltd All Rights Reserved
 *
 * Contact:
 * YeongKyoon Lee <yeongkyoon.lee@samsung.com>
 * SeokYeon Hwang <syeon.hwang@samsung.com>
 * SangJin Kim <sangjin3.kim@samsung.com>
 * KiTae Kim <kt920.kim@samsung.com>
 * JinHyung Jo <jinhyung.jo@samsung.com>
 * SungMin Ha <sungmin82.ha@samsung.com>
 * MunKyu Im <munkyu.im@samsung.com>
 * JiHye Kim <jihye1128.kim@samsung.com>
 * GiWoong Kim <giwoong.kim@samsung.com>
 * DongKyun Yun
 * DoHyung Hong
 * Hyunjun Son
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
 *
 * Contributors:
 * - S-Core Co., Ltd
 *
 * x86 board from pc_piix.c...
 * add some TIZEN-speciaized device...
 */

#include "hw/boards.h"
#include "hw/i386/pc.h"

#include "emulator_common.h"
#include "maru_pm.h"

/* maru specialized device init */
static void maru_device_init(void)
{
    // do nothing for now...
}

extern void maru_pc_init_pci(MachineState *args);
static void maru_x86_board_init(MachineState *args)
{
    maru_pc_init_pci(args);

    maru_device_init();
}

static QEMUMachine maru_x86_machine = {
    PC_DEFAULT_MACHINE_OPTIONS,
    .name = "maru-x86-machine",
    .alias = "maru-x86-machine",
    .desc = "Maru Board (x86)",
    .init = maru_x86_board_init,
    .hot_add_cpu = pc_hot_add_cpu,
    .no_parallel = 1,
    .no_floppy = 1,
    .no_cdrom = 1,
    .no_sdcard = 1,
    .default_machine_opts = "firmware=bios-256k.bin",
    .default_boot_order = "c",
};

static void maru_machine_init(void)
{
    qemu_register_pc_machine(&maru_x86_machine);
}

machine_init(maru_machine_init);