Linux

• Jul 2, 2023: Installing KiCad 7 on Debian 12 - note on apt-pinning
• Oct 3, 2022: Saving raw data from serial devices under linux
• Aug 28, 2022: Setting up a wireguard VPN