I've been doing some armbian graphics work and tried to track down a brand guide. If I remember correctly, I found some information at Github (fonts, logo, colors?), that was going in that direction. I documented what I found while doing some youtube graphics (see attached). I'm interested in making sure I've got the correct color values and other versions of penguins that people have done (Miike & NicoD penguins featured in attachment).
_brand_guide_202206_abridged.pdf