piCore Prepare SD-Card
There are two ways to get the image on the sd-card.
If you start from a Windows pc you can use the 'Raspberry Pi Imager' to get the image on the sd-card.
For Linux and a Mac you can use the dd command.
On Wikipedia you can find a table of all 'B' models with 64-bit processor indication field.
For the RPi Pico, RPi Zero and others you have to read the applicable text for more details.
On the forum there is a section where you can find the piCore release information.
Here you can find for example that support of RPi5 was introduced in piCore 14.1 for 64-bit only.
The current latest piCore 15.0 has better support of the RPi5.
The next release is not far from now, so watch the forum.
Raspberry Pi Imager
- Obtain the image you want to use from the download page.
First verify the latest stable version available (best is not to use a test version).
Next look if you go for a 32-bit (RPi1, 2, 3, 4 or 5) or 64-bit (RPi3, 4, 5).- For the 32-bit version the (current latest) link is: http://tinycorelinux.net/15.x/armhf/releases/RPi/
- For the 64-bit version the (current latest) link is: http://tinycorelinux.net/15.x/aarch64/releases/RPi/
- Use an sd-formatter to clear the sd-card if needed.
- Use the official 'Raspberry Pi Imager' to write the .img file to sd-card.
- obtain the latest 'Raspberry Pi Imager' from here.
- Bootup the RPi with HDMI and keyboard attached
- After key generation: backup
- ('backup' is a script file that is executing 'filetool.sh -b')
DD command
The following link details the steps using the dd command.
