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.

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.

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