OS 5SE осень 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

При проблемах с 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 / 

И так и так работает.