Boot - Raspberry Pi System Software Reference - page 25

Kernel
By default, start.elf loads the kernel from the file named kernel.img . Specifying the
kernel parameter allows the user to change the file's name.

kernel Description

unspecified kernel=“kernel.img” (default)

kernel=“plan9.img” kernel=“plan9.img”

Kernel Address
This parameter determines the memory address where the kernel image is loaded into.

kernel_address Description

0x00000000 Default

RAM File System File
The ramfsfile parameter names the file for the RAM FS file, to be used with the kernel.

ramfsfile Description

unspecified No RAM FS file used

ramfsfile=“ramfs.file” File ramfs.file is used

RAM File System Address
The ramfsaddr parameter specifies where the RAM file system image is to be loaded into
memory.

ramfsaddr Description

0x00000000 Default address