Your observation is correct. Raspberry Pi does not use GRUB at all.
GRUB is not universal in the Linux world, but a bootloader for some specific hardware architectures:
- 32- and 64-bit x86 PCs, using BIOS, UEFI or Coreboot firmware
- PowerPCs
- SPARC systems
- MIPS Lemote Yeeloong systems
- certain Qemu emulation environments.
Raspberry Pi is an ARM device, which is none of the above. It has its own firmware and bootloader.
The first stage bootloader is stored in ROM within the RasPi's system-on-chip.
It loads bootcode.bin
from the SD card. That will load start.elf
, which will then load config.txt
, cmdline.txt
and kernel.img
. In older versions of RasPi firmware, there used to be loader.bin
step in between bootcode.bin
and start.elf
.
More details:
https://raspberrypi.stackexchange.com/q/10489
https://www.raspberrypi.org/forums/viewtopic.php?t=6685
config.txt
settings: http://rpf.io/configtxtreadme
cmdline.txt
is the place for the Linux kernel boot options.