Z jakiegoś dziwnego powodu katalog build/configs zawiera pełno plików dmf, dmd itd... A tymczasem powinien tylko zawierać pliki konfiguracyjne, przykład:
pkubiak@pkubiak-PB50-70RF-RD-RC:~/Projects/choco-technologies/public/dmod-boot$ tree /tmp/config
/tmp/config
└── dmclk
└── stm32f746g-disco.ini
1 directory, 1 file
Dla:
dmf-get dmclk --config board/stm32f746g-disco.ini --config-dir /tmp/config --cpu-family stm32f7 --skip-arch-check
Trzeba ustalić dlaczego cmake robi taki burdel w tym katalogu