1 from ..qemu_config
import QemuArchParams
6 OPENSBI_FILE
= 'opensbi-riscv64-generic-fw_dynamic.bin'
7 OPENSBI_PATH
= '/usr/share/qemu/' + OPENSBI_FILE
9 if not os
.path
.isfile(OPENSBI_PATH
):
10 print('\n\nOpenSBI bios was not found in "' + OPENSBI_PATH
+ '".\n'
11 'Please ensure that qemu-system-riscv is installed, or edit the path in "qemu_configs/riscv.py"\n')
14 QEMU_ARCH
= QemuArchParams(linux_arch
='riscv',
18 CONFIG_SERIAL_8250_CONSOLE=y
19 CONFIG_SERIAL_OF_PLATFORM=y
20 CONFIG_RISCV_SBI_V01=y
21 CONFIG_SERIAL_EARLYCON_RISCV_SBI=y''',
23 kernel_path
='arch/riscv/boot/Image',
24 kernel_command_line
='console=ttyS0',
28 '-bios', OPENSBI_PATH
])