Este paso lógicamente no es necesario si la raspberry está previamente instalada y configurada, como era mi caso. No obstante, el proceso es sencillo.

El sistema operativo, llamado Raspberry Pi OS, se descarga de la página https://www.raspberrypi.org/software/operating-systems/#raspberry-pi-os-32-bit

Es un archivo .zip comprimido que contiene uno con la extensión  .img que es la imagen del sistema.

También hay que descargar el programa Raspberry Pi Imager, que sirve para copiar el sistema operativo a la tarjeta microSD.

https://www.raspberrypi.org/software/

Lógicamente, hace falta un adaptador para esta tarjeta que permita conectarla a un puerto USB.

Ejecutando el Raspberry Pi Imager hay que seleccionar la imagen de sistema operativo anteriormente descargada y descomprimida, y la tarjeta que lo va a alojar. Hay que tener paciencia hasta que se complete la operación.