Hi @aknight0,
thanks for the description!
There are definitely problems in acados with 32 Bit architectures, see issues on Github and this should for now be regarded as a limitation.
I read a bit about the Pi 3, it has a 64-bit CPU but is typically running a 32-bit OS.
I am not sure about the details, but from what you describe, it seems like acados is running there just like on a 64 Bit architecture.
I was able to reproduce the behavior that you observed on your TK1 board on a Raspberry Pi 2 (which is real 32-bit).
I will look a bit more into this, but I cannot promise a quick fix.
I hope you can use your RPI3 or another board with 64-bit CPU for now.
Best,
Jonathan.