I have managed to build and flash esp32c3-devkit:ble on FreeBSD :-) It gets a boot loop problem but the build seem to have worked just the same as on Linux Debian :-)
I have tried `./tools/configure.sh -B sim:nsh` but that needs porting `genromfs` to FreeBSD. work in progres.. -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info