Hopefully people are not getting tired of this:

Desktop is a 10 year old Dell running Windows 10 with Cygwin for access to servers 

Plus Old Chromebook which, I guess is an Android  OS

Servers are ALL Ubuntu.  (Intel and AMD cores)

Raspbian OS in Raspberry pis. I think that is Debian derived.

As am ex-sysadmin I love command line stuff

Thomas