Как загрузить Linux с помощью spike?

Question

Когда я следую инструкциям на этой странице для загрузки Linux по ссылке spike: она запускается, но просто сидит там. Нужно ли мне входить в телнет, чтобы получить доступ к подсказке? Если так, это где-то задокументировано?

Answer 1

Теперь вам нужно использовать bbl (загрузчик) для загрузки в vmlinux

> spike +disk=root.bin bbl vmlinux

Это задокументировано в ветке ris_v-tools в new_privileged_isa.

На следующей неделе все мастера будут синхронизированы, и это будет намного понятнее.