expand on difference defconfig and Make.defs
While reading on building Nuttx, I am confused about the difference of defconfig and Make.defs. ( http://localhost:4000/building-nuttx.html )
When looking at defconfig, I can see some variables are set about my local toolchain (e.g. in my case it should be OSX with gcc but this is pre-set to a Windows build. Wondering how to change this to OSX ?)
The other file Make.defs also has settings about the compiler. But not sure where the difference for a board or for "configuration" is ?