4 * Copyright (c) 2011 Samsung Electronics Co., Ltd All Rights Reserved
7 * YeongKyoon Lee <yeongkyoon.lee@samsung.com>
8 * SeokYeon Hwang <syeon.hwang@samsung.com>
9 * SangJin Kim <sangjin3.kim@samsung.com>
10 * KiTae Kim <kt920.kim@samsung.com>
11 * JinHyung Jo <jinhyung.jo@samsung.com>
12 * SungMin Ha <sungmin82.ha@samsung.com>
13 * MunKyu Im <munkyu.im@samsung.com>
14 * JiHye Kim <jihye1128.kim@samsung.com>
15 * GiWoong Kim <giwoong.kim@samsung.com>
20 * This program is free software; you can redistribute it and/or
21 * modify it under the terms of the GNU General Public License
22 * as published by the Free Software Foundation; either version 2
23 * of the License, or (at your option) any later version.
25 * This program is distributed in the hope that it will be useful,
26 * but WITHOUT ANY WARRANTY; without even the implied warranty of
27 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
28 * GNU General Public License for more details.
30 * You should have received a copy of the GNU General Public License
31 * along with this program; if not, write to the Free Software
32 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
37 * x86 board from pc_piix.c...
38 * add some TIZEN-speciaized device...
41 #include "hw/boards.h"
42 #include "hw/i386/pc.h"
44 #include "emulator_common.h"
47 /* maru specialized device init */
48 static void maru_device_init(void)
50 // do nothing for now...
53 extern void maru_pc_init_pci(MachineState *args);
54 static void maru_x86_board_init(MachineState *args)
56 maru_pc_init_pci(args);
61 static QEMUMachine maru_x86_machine = {
62 PC_DEFAULT_MACHINE_OPTIONS,
63 .name = "maru-x86-machine",
64 .alias = "maru-x86-machine",
65 .desc = "Maru Board (x86)",
66 .init = maru_x86_board_init,
67 .hot_add_cpu = pc_hot_add_cpu,
72 .default_machine_opts = "firmware=bios-256k.bin",
73 .default_boot_order = "c",
76 static void maru_machine_init(void)
78 qemu_register_machine(&maru_x86_machine);
81 machine_init(maru_machine_init);