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.

• 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')

The following link details the steps using the dd command.