to use this HAL

(within a linux environment)

  1. install nix:

sh <(curl -L https://nixos.org/nix/install) --daemon

  1. enable flakes

Add the following to ~/.config/nix/nix.conf or /etc/nix/nix.conf:

experimental-features = nix-command flakes

  1. nix build within the hytech_hal directory

  2. to flash code onto a board using an stm-32's bootloader: nix run .#dfu