load_generic_config "sim"
set_board_info sim "spike pk"
set_board_info compiler "[find_gcc]"
set_board_info ldflags "-static -pthread"
set_board_info gdb,nosignals 1
set_board_info is_simulator 1