Here's a simple guide for anyone who wants to install pi-topOS Sirius to a microSD card.
Here's what you'll need:
- MicroSD card
- A computer with a microSD card slot, or an adapter to connect microSD to your computer (e.g. SD or USB adapter)
Step 1 - Download pi-topOS from our website.
Please make sure that you are always using the latest release (you can check this by comparing the date in the filename to the date in the release on our OS download page).
Step 2 - Remove the microSD card from your pi-top 
The microSD card can be found inside a slot on the bottom of your pi-top. Remove the cover and set it aside. Be careful not to lose it! Slide the microSD card from the slot.
Step 3 - Insert the microSD card that you want to write to into your laptop or PC.
All of our microSD cards ship with an SD card adapter, and you will likely need to use this (or a microSD-to-USB adapter) to connect to your computer. If you don't have an SD card slot on your computer, you will need to use a USB adapter
Let's get started!
It works the same on Windows, Linux and OS X and is incredibly easy - with only 3 steps!
1. Select the zip file that you just downloaded. You could extract the image onto your hard drive first, but Etcher is clever and extracts the file whilst it writes, so why bother?
2. Select the SD card from the list. If there are multiple drives that are available, make sure that the drive you select is the correct size, to prevent writing to the wrong drive. If you are not sure which drive to write to, then remove all other drives until only the SD card is in the list.
3. Click 'Flash'!
That's it! Etcher will install pi-topOS Sirius for you (AND it also verifies that it was 100% correctly written). Then all you need to do is plug the microSD card back into your pi-top , replace the green cover, and switch on the device.