Welcome to the NuttX RTOS development on FreeBSD WIKI page! You will find resources, information, hints and references that should be useful to everyone that develops NuttX RTOS on FreeBSD, mostly current work in progress porting effort so things work out of the box for you
gmake needs to be used. Find a way to use make both on BSD and Linux.awk both on BSD and Linux.esptool port utility so it flashes modern RISC-V ESP32-C3 MCU:riscv32-esp-elf toolchain.riscv32-unknown-elf (FreeBSD ports). Does not build due -lm error at link stage.riscv64-none-elf (FreeBSD ports). Does not build due -lm error at link stage.genromfs that allows creating NuttX simulator and run just like any other program on the developer machine:kconfig-frontends that allows menuconfig like kernel configuration: