Do I need proprietary software to make a build?

No, you can use open source software such as gdb and openocd.