@@ -12,6 +12,7 @@ Installed tools:
- Ubuntu 20.04
- Python 3
- Node.js 20
- `mbed-cli==1.10.5`
- `gcc-arm-none-eabi` from Ubuntu 20.04 packages
- `make`, `patch`, `git`, `mercurial`, `curl`, `unzip`
The note is not visible to the blocked user.