I built rt kernel incorrectly, so it did not boot at all and I left the old one with a different name.
I want to know how to change these files back so it can be booted??I mean by a program for SD card or something similar.
Raspberry Pi Stack Exchange is a question and answer site for users and developers of hardware and software for Raspberry Pi. It only takes a minute to sign up.Sign up to join this community
All the boot files are on a FAT32 sector, which is readable and writeable by all common operating systems.
You can place the SD card in an SD card reader, delete the bad kernel, and rename the good kernel from any Windows, or Mac, or Linux machine.