Home :: Documentation :: Download :: Development :: Community :: Ports :: Packages :: Bugs :: Links :: About :: Donors

Supported Devices

RaspberryPi 3


Matt Housh
Victor Martinez


The Raspberry Pi 3 is the third-generation Raspberry Pi. Powered by Quad Core 1.2GHz Broadcom BCM2837 64bit CPU, 1GB RAM and BCM43438 wireless LAN and Bluetooth Low Energy (BLE) on board

CPU Information

processor : 0
BogoMIPS : 38.40
processor : 1
BogoMIPS : 38.40
processor : 2
BogoMIPS : 38.40
processor : 3
BogoMIPS : 38.40
Features : fp asimd evtstrm crc32
CPU implementer : 0x41
CPU architecture: 8
CPU variant :0x0
CPU part : 0xd03
CPU revision : 4



To begin installation, we need to setup an SD card for use with the raspberrypi3.
We will need at least 2 partitions, a fat32 boot partition and a root filesystem partition.
The fat32 boot partition must be first and marked as bootable.
If the root filesystem partition is not the second partition, then the root must be specified in the cmdline.txt file.
The root filesystem type must be supported by kernel builtin driver or be provided for via initramfs.

Extract the contents of boot in the first partition.

Extract the contents of crux-arm-rootfs-3.6-aarch64-rpi3.tar.xz in the second partition


Modules - 4.19.79-v8
Kernel - kernel8.img