Is it possible for somebody to shortly explain this in only a few sentences so I get a first impression and can decide which way to go for my porting? None of the answers seem to answer the OP's question regarding the CI/build system. Of course one can take the compiled raspbian and strip it down, ...