from ..qemu_config import QemuArchParams
import os
import os.path
import sys

OPENSBI_FILE = 'opensbi-riscv64-generic-fw_dynamic.bin'
OPENSBI_PATH = '/usr/share/qemu/' + OPENSBI_FILE

if not os.path.isfile(OPENSBI_PATH):
 print('\n\nOpenSBI bios was not found in "' + OPENSBI_PATH + '".\n'
       'Please ensure that qemu-system-riscv is installed, or edit the path in "qemu_configs/riscv.py"\n')
 sys.exit()

QEMU_ARCH = QemuArchParams(linux_arch='riscv',
      kconfig='''
CONFIG_ARCH_VIRT=y
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIAL_OF_PLATFORM=y
CONFIG_RISCV_SBI_V01=y
CONFIG_SERIAL_EARLYCON_RISCV_SBI=y''',
      qemu_arch='riscv64',
      kernel_path='arch/riscv/boot/Image',
      kernel_command_line='console=ttyS0',
      extra_qemu_params=[
        '-machine', 'virt',
        '-cpu', 'rv64',
        '-bios', OPENSBI_PATH])