Системы, обновленные до sisyphus:
 kworkstation-11.2-x86-64
 education-11.0-x86-64-kde
 education-11.0-x86-64-xfce
 workstation-11.1-x86-64
 server-11.0-x86-64

Версии:
 marss-riscv-4.1a-alt2.1

Шаги:
 1) Запустить симуляцию c флагом ctrlc:
  # cd /tmp && /usr/sbin/demo-marss-riscv.sh /usr/share/marss-riscv -ctrlc
​​ 2) Завершить симуляцию комбинацией клавиш ctrl+C:

Результат:
 В терминале печатается ^C

Ожидаемый результат:
 Симуляция завершилась

Дополнительно:
 Согласно документации - "By default, Ctrl-C will not kill the simulator. Alternatively, pass the -ctrlc command-line argument to the simulator, which will allow it to be killed using Ctrl-C.