As of now, tags for os-tans and software references are in disarray. Some are in copyright namespace: ubuntu, linux, some are in character namespace: arch linux, debian, and some are regular tags: red hat (linux).
Personally I think that unless there is an established mascot character (with original name, like madobe nanami), these tags should all fall under regular or copyright tags.