Thinkpad X1 Carbon Gen 9

My main work laptop is now (Summer 2022) a Thinkpad X1 Carbon Gen 9. This page is about it, its setup, what works and what does, which systems it runs, …

NixOS setup