As of now (August 2017), we can build an acados library for dSpace. Run CMake like this:

cmake -D CMAKE_TOOLCHAIN_FILE=../cmake/Toolchain-dSpace.cmake -G "Unix Makefiles" -D CMAKE_MAKE_PROGRAM="C:\Program Files\dSPACE RCPHIL 2016-B\Exe\DSMAKE.EXE" ..