Category Archives: Uncategorized

Dual Booting Pop! OS on a ThinkPad X1 Extreme

Yesterday I finally installed pop on my ThinkPad X1 Extreme. I was a little nervous because it has been a loooooooong time since I’ve set up dual booting on anything. This ThinkPad is such a beautiful machine – it would be a shame to break it.

The main issue for me when I was looking into this is getting the Pop! OS boot loader to pick up the existing Windows installation. Pop! installs its firmware in a new EFI partition which is created during installation. The Grub bootloader, which many linuxes use, automatically detects any existing Windows installation – even if it is in a different EFI partition -and adds an entry to its boot menu. Pop! uses systemd-boot instead of grub, and systemd-boot doesn’t detect that Windows is installed with a different EFI partition. I read some advice to copy the windows boot files from the Windows EFI partition into the new Pop OS EFI partition, and some other advice saying that may not work well. I re-read what System 76 say about dual booting Pop OS and I finally got it:

To boot your other OS:

РIf your device is in EFI mode, use your device’s built-in boot menu.
– If your device is in BIOS mode, a menu will automatically appear when powering on.

Choose your previous OS with the arrow keys, then press Enter.

I also read this comment from one of their devs:

So the deal is that if you let the machine start using the systemd-boot which was installed, then you will get a boot menu which basically offers Pop. To boot Windows you need to activate the Windows boot loader either by hitting F12 (on my machine) and selecting it from the system UEFI , or, possibly by selecting the Windows boot loader option from the systemd-boot menu.

Windows recovery drive EFI

I have spent a fair amount of time over the past few days reading about bootloaders in preparation for installing linux dual boot on my laptop. I made a Windows recovery drive and took a peek at its contents:


All the EFI stuff I have just been reading about!

Earth sized piece of paper

How big a piece of paper is needed to cover the entire Earth?

Size of A0 paper: a x b mm^2 where a = 1189 and b = 841

Size of A-n paper = a * (a/b)^n x b * (a/b)^n mm^2

Diameter of Earth = e ~ 12742000000 mm

To cover the Earth, need:

a * (a/b)^n > e


log(e/a) < n log(a/b) so n > log(e/a)/log(a/b)

need n > log(12742000000/1189)/log(1189/841) ~ 46.7

So A-47 paper would be sufficient.

Now with more light box

This evening I built myself a lightbox for photographing my ceramics (following instructions involving sharp knives and the nagging fear you are going to accidentally cut your arm off (or worse, both arms)). I need better lights, but the effect is quite nice.

Small milk jug, cinnamon clay glazed with Ferg yellow and fired to cone 10 oxidation.