Hello everyone,
It seems that another user successfully built a debian package for rpi4, you can check the forum thread here
@futurejones If you’re willing to give some feedback about the issues you encountered and how you overcame them, even if they made you switch to another path, that would be highly appreciated so we can hopefully enhance the documentation with the missing pieces and/or investigate more!