This article briefly introduce how my hardware and software is set up (as of 3/6/25).
Regular Computers
I own 3 laptops, one at home, and two carried with me. All of them runs free operating system, without non-free firmware, drivers and binary kernel blobs.
czl92783719-PC1
This is my primary computer used for various tasks, such as programming, surfing the internet, and listening to music.
- Model: Lenovo ThinkPad X200
- CPU: Intel(R) Core(TM)2 Duo P8600 (2) @ 2.40 GHz
- GPU: Intel Mobile 4 Series Chipset Integrated Graphics Controller
- Memory: 8 GB DDR3
- Disk: 1 TB SATA SSD
- Screen Resolution: 1280x800
- BIOS: Libreboot
- OS: Trisquel GNU/Linux 11
- Desktop: MATE 1.26
czl92783719-PC2
This is my secondary computer that stays at my home, used for performance-intensive tasks such as compilation.
- Model: Xiaomi Redmi G Pro 2024
- CPU: Intel(R) Core(TM) i9-14900HX (32) @ 5.80 GHz
- GPU 1: NVIDIA GeForce RTX 4060 Max-Q / Mobile (disabled because of proprietary driver and firmware)
- GPU 2: Intel Raptor Lake-S UHD Graphics
- Memory: 16 GB DDR5
- Disk: 1 TB NVMe SSD
- Screen Resolution: 2560x1600
- BIOS: Proprietary
- OS: Debian GNU/Linux Sid
- Desktop: GNOME 47
czl92783719-PC3
This is my another secondary computer that is carried with me, since it have a better CPU than czl92783719-PC1, it is also used for some performance-intensive tasks such as playing videos and games.
- Model: HP EliteBook 820 G2
- CPU: Intel(R) Core(TM) i7-5600U (4) @ 3.20 GHz
- GPU: Intel HD Graphics 5500
- Memory: 16 GB DDR3
- Disk: 500 GB SATA SSD
- Screen Resolution: 1366x768
- BIOS: Libreboot
- OS: Debian GNU/Linux Sid
- Desktop: KDE Plasma 6.2.5
Server
I own 2 servers, one is a laptop, and one is a old phone with its battery’s lifespan ran out and UserLAnd.
czl92783719-SV
This is my main server that do many private things for me, like syncing files and bookmarks.
- Model: SAMSUNG 300E5K
- CPU: Intel i5-5200U (4) @ 2.700GHz
- Memory: 4 GB DDR3
- Disk: 250 GB SATA SSD
- BIOS: Proprietary
- OS: Debian GNU/Linux 12
The old phone server
This server doesn’t have a hostname because it’s just a UserLAnd environment and custom hostname is not supported. This server is for something public, e.g. my website in Tor network.
- CPU: HiSilicon Kirin 650 (8) @ 1.709GHz
- Memory: 3 GB
- Disk: 32 GB
- OS: Debian GNU/Linux 12
Phones
TODO
Others
TODO