@philipoconnor.bsky.social Any particular distro or just install Debian and add tools as I need them?