x86_64.py 401 B

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