Booting Raspberry Pi 3
Difficulty level |
---|
Beginner |
This is a tutorial on bare-metal OS development on the Raspberry Pi 3 (RPi 3).
THIS IS NOT A PRACTICAL IMPLEMENTATION NOR A REFERENCE! It'S SIMPLY SOMETHING TO BE BUILT UP ON!
Preamble
This article assumes that you have all of the necessary materials needed to begin developing on your respective hardware. Other assumptions are that you are comfortable with low-level programming using C/C++, GNU Make buildsystem, and that you are comfortable enough about OS development and hardware to not be confused.. Such details are not in the scope of this article and must be done before proceeding to the next steps.
This article is also intended for beginner users who want a minimal solution for creating/starting an operating system, although some insight can be derived for the advanced audience.
Preperations
Cross Compiler
A bare-metal AArch64 toolchain is available on the AUR for installation. The links are provided here as well as a download link from the publisher for Windows users.
https://www.linaro.org/downloads/
https://aur.archlinux.org/packages/aarch64-elf-gcc-linaro-bin/
https://aur.archlinux.org/packages/aarch64-elf-newlib-linaro-bin/
Firmware
Firmware is required for the RPi 3 to boot properly. The firmware needed can be found at these link:
https://github.com/raspberrypi/firmware/blob/master/boot/start.elf
https://github.com/raspberrypi/firmware/blob/master/boot/bootcode.bin
There is also another file required to boot properly. A config.txt file must be supplied to provide configuration details for the device and the OS. Here are the only entries you need:
boot_delay=1
force_turbo=1
enable_uart=1
More details about booting and configuration can be found at thse links.
https://elinux.org/RPi_Software#Overview
https://raspberrypi.stackexchange.com/a/10595
https://www.raspberrypi.org/documentation/configuration/config-txt/
https://wiki.beyondlogic.org/index.php?title=Understanding_RaspberryPi_Boot_Process (although a bit old, is still useful)
When loading the OS onto an SD card, these file must be included in the boot partition.
Overview
By now you should have your cross compiler set up. The compiler binaries have the same name as they usually would with "aarch64-elf-" prefixing them (e.x. aarch64-elf-gcc). For this example, three files are used:
- linker.ld - Linker script
- start.S - Setup the environment and call the kernel
- kernel.c - Kernel entry and use
This article is written so that segments of the code will be presented with an explaination, with the full code in the Conclusion section.
Linking the Kernel
Linker script allows us to segment, organize, and align our kernel image. More information about linker scripts can be found osdev's Linker Scripts.
The start address and alignment are for the RPi3. Use whatever is applicable to you.
SECTIONS
{
. = 0x80000;
.text : {
KEEP(*(.boot));
*(.text*)
}
.rodata ALIGN(16) : {
*(.rodata*)
}
.data ALIGN(16) : {
*(.data*)
}
.bss (NOLOAD) : {
*(.bss*)
}
}
Booting the Kernel
For the RPi 3, after the start.elf finishes, the CPU and SRAM have been enabled and control is given to the kernel image. But there are a few things we must do in order to set up a basic C environment. This is known as a bootstrap stage which initializes our OS and programming environment on startup and hands control to the kernel. Keep in mind that this is for a minimalistic development environment on a single core.
.section .boot
.global _start
_start:
mrs x4, mpidr_el1
and x4, x4, #3
cbz x4, _init
0: wfe
b 0b
The mrs instruction loads data from specialty registers into a standard register. This special register in question is called the MPIDR or the Multiprocessor Affinity Register. Caring only about the first two bits only we use a bitwise and to weed out any core ID's that aren't zero. Then we apply the cbz instruction, which is a shorthand instruction for comparing the x4 register with 0 and branching if they are equal, i.e. core 0.
If the core ID is 0, we branch to another section that will initialize the environment and will hand control over to the kernel. For now, the C function for our kernel will simply by kern_main.
_init: ldr x4, =_start
mov sp, x4
b kern_main
Note that with the latest firmware, this is not necessary, as only the primary core runs. It is enough to set up stack and branch to kern_main.
// for latest firmware, after 2020-01-01
.section .boot
.global _start
_start: ldr x4, =_start
mov sp, x4
b kern_main
Writing the Kernel
The kernel is as simple as creating a kern_main function for the bootstrap stage to transfer control to. You notice that in start.S we have the program branch into the function. All we need to do is provide one.
#include <stdbool.h>
void
kern_main(void)
{
while (true);
}
Conclusion
At the time of writing, QEMU does not yet emulate the RPi 3. The only way to test is to hook up the RPi 3 to an HDMI monitor. If start.elf was successfully able to run, then a square with interpolated colors will appear on the screen. That paird with the ACT (green LED) flashing even after the square shows means that it most likely has loaded the kernel and started executing. As this lacks a UART example, it will be difficult to get concrete proof that the kernel has booted.
See Also
Articles
- Raspberry Pi Bare Bones - a much more detailed introduction to booting on Raspberry Pi