Hi Anne,
DS1007 has a different procesor type (PPC Processor) than the DS1202. It is better for you to use the workflow for the DS1401 (Microautobox with PPC Processor). You will find the necessary files in a pull request:
https://github.com/acados/acados/pull/723
You have to adapt the toolchain file and any c/h file with DS1401 specific functions to fit your DS1007. I think in particular the timing and print functions need to be adapted. If you cannot find the correct function for your system, an easy way is replace the problematic function by functions, which just dont return abything. This way you do not have timing/print functions, but this should not be mandatory.
Best regards
Björn