Template for USN BSc intelligent real-time systems course.

Before using this template, the following should be installed:

• vscode from https://code.visualstudio.com/download
• python 3.12.5+ from https://www.python.org/downloads/ make sure to check "Add python.exe to path"
• pyocd 0.34.3+ from https://pyocd.io/docs/installing by doing python3 -m pip install -U pyocd
• git scm 2.46.0+ from https://git-scm.com/downloads
• alire 2.0.1+ from https://alire.ada.dev/

Open command prompt and type

alr

Say yes to install msys2

alr toolchain --select

• Select GNAT version 14.1.3+ (which is option 8)
• Select GPRBUILD version 22.0.1+ (which is option 1)

• Click on the green "Use This Template" button and choose "create a new repository". This will create a unique repository under your github username with the contents of this template. Remember To choose a suitable name for your project
• Clone your newly created repositry with submodules by opening a command prompt and typing

git clone --recurse-submodules https://github.com/YOUR_USERNAME/YOUR_REPOSITORY.git.

You can also first clone the project and then initialize the submodules afterwards using

git submodule update --init --recursive

• The template uses DependaBot to sync with dependencies (submodules) such as the Ada Driver Library.
• (2do) The template uses the Ada Github action workflow to check if your code compiles

• Ada language server for VS Code (https://github.com/AdaCore/ada_language_server/blob/master/README.md#vs-code-extension)