#!/bin/bash
# file gen_config_default.sh
set -euo pipefail
bash gen_config_board.sh config/boards/f407-discovery f407-discovery