I am indeed using fully open source tooling! Check out the makefiles in the firmware directory :)