1from ..qemu_config import QemuArchParams
2
3QEMU_ARCH = QemuArchParams(linux_arch='x86_64',
4			   kconfig='''
5CONFIG_SERIAL_8250=y
6CONFIG_SERIAL_8250_CONSOLE=y''',
7			   qemu_arch='x86_64',
8			   kernel_path='arch/x86/boot/bzImage',
9			   kernel_command_line='console=ttyS0',
10			   # qboot is faster than SeaBIOS and doesn't mess up
11			   # the terminal.
12			   extra_qemu_params=['-bios', 'qboot.rom'])
13