util/release: Convert board IDs into human readable names
treed56bad33720bc8d38c99cfe13c2d2216e30547c4
-rw-r--r-- 896 .checkpatch.conf
-rw-r--r-- 648 .clang-format
-rw-r--r-- 185 .editorconfig
-rw-r--r-- 2759 .gitignore
-rw-r--r-- 1076 .gitmodules
-rw-r--r-- 83 .gitreview
drwxr-xr-x - 3rdparty
-rw-r--r-- 2463 AUTHORS
-rw-r--r-- 17987 COPYING
drwxr-xr-x - Documentation
drwxr-xr-x - LICENSES
-rw-r--r-- 16184 MAINTAINERS
-rw-r--r-- 16953 Makefile
-rw-r--r-- 50696 Makefile.inc
-rw-r--r-- 3305 README.md
drwxr-xr-x - configs
-rw-r--r-- 1626 gnat.adc
drwxr-xr-x - payloads
drwxr-xr-x - src
-rw-r--r-- 9905 toolchain.inc
drwxr-xr-x - util