Links and Additional Resources
Some links with information related to the course:
Git
- Information about Git: gitmagic and the official git documentation.
- Github: The version control system we use for the programming assignments.
Docker
- https://www.docker.com/101-tutorial/
- https://devopscycle.com/blog/the-ultimate-docker-cheat-sheet
- developing with VScode with code build and run inside a docker container: https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers
System programming, debugging, and make
- Linux system programming: How to use system calls to access a file in linux.
- Make documentation: Documentation for the make build system.
- maketutor: A nice small tutorial for writing Makefiles.
- gcc_make: Tutorial for writing C Makefiles
- GDB Gnu Debugger Tutorial
- GDB GUIs - graphical frontends for GDB
- Valgrind - Debug memory errors.
More info will be added during the course.
Literature
For some relevant literature references see here