Lately with all these spying revelations I thought it would be a good idea to try a more free laptop.

So I installed Libreboot (by external SOIC 16 test clip and SPI programmer on the A20) and GuixSD on a Lenovo X200, replaced the PCI Express Wifi card by Atheros AR5B95 9285G 802.11 b/g/n and removed the WWAN card.

The following lists my experience with it. "TODO" marks parts I didn't do yet but want to do in the next round.

GuixSD

Installation

There is an GuixSD image file which you can put on an USB stick and boot from it.

There is no installer. In 2015. That is bad.

Missing Programs in Installation Medium

For internet connectivity, you need to dial up or otherwise connect to the network.

However,

Actual Manual Installation