OS 5SE осень 2017
Преподаватель: Кринкин Кирилл Владимирович
Контакты: os-au@osll.ru
- Репозиторий с заданиями и wiki
- Курс домашних заданий
- Курс «Операционные системы»
- Lecture Notes and Readings
sudo vagrant up --provider=docker sudo vagrant ssh default
Содержимое conf/env.mk
QEMU=/usr/bin/qemu-system-i386 QEMUEXTRA=-curses
Параметр QEMUEXTRA можно не ставить (и так даже лучше); вместо этого нужно запускать QEMU с помощью make qemu-nox - тогда QEMU запустится прямо в вашей консоли и вы не будете страдать.
При проблемах с gdb (типа warning: File "/home/vagrant/lab/.gdbinit" auto-loading has been declined by your `auto-load safe-path' set to "$debugdir:$datadir/auto-load:/vagrant/lab/.gdbinit".) действовать так, как он укажет: добавить в файл /home/vargant/.gdbinit одну из двух строк:
add-auto-load-safe-path /home/vagrant/lab/.gdbinit set auto-load safe-path /
И так и так работает.
Если у вас проблемы с дублированием букв внутри QEMU, не паникуйте и просто проверьте команды help и kerninfo - скорее всего удваивание букв будет проигнорировано и команды выполнятся.
Для выхода их QEMU используюйте сочетание клавиш ctrl-a x.
Для создания файла с патчем работает следующая схема:
sudo touch patch sudo chmod a+rw patch git diff > patch
Совы не то, чем кажутся или The desc field contains the line number and the value contains the code address for the start of that source line: http://www.sourceware.org/gdb/onlinedocs/stabs.html#Line-Numbers
