x86_64.py

 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'])