I really need to checkout #dietpi again, it could be interesting to run a #debian distribution on my #pinetab https://pineguild.com/dietpi-7-2-is-out-.. It seems to be quite well supported now!