Homatics Box R 4K Plus

We also have 32but userland but 64but kernel. There will be no public source for sure but is there a compiled IMG for flashing the device?

And you need to be a bit more in detail why you are sure it’s 32bit…