OS 5SE осень 2017 — различия между версиями

Версия 12:04, 21 сентября 2017

Преподаватель: Кринкин Кирилл Владимирович

Контакты: os-au@osll.ru

• Репозиторий с заданиями и wiki
• Курс домашних заданий
• Курс «Операционные системы»
• Lecture Notes and Readings
  • lab1

   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