Часть 2: RocketChip: подключаем оперативную память

[khim]

Странно, что у вас gdb историю не сохраняет… Точно в .gdbinit написано set history save on ???

[atrosinenko]

О, точно! Спасибо! Но умение выполнять пачку команд с терминала тоже пригодится :) Только там уже, наверное, лучше будет использовать -x script-file