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

Supported Devices



The raspberrypi is a credit card sized single-board computer based on Broadcom BCM2835 (ARM1176JZF-S 700 MHz)

CPU Information

Processor : ARMv6-compatible processor rev 7 (v6l)
BogoMIPS : 697.95
Features : swp half thumb fastmult vfp edsp java tls
CPU implementer : 0x41
CPU architecture: 7
CPU variant : 0x0
CPU part : 0xb76
CPU revision : 7
Hardware : BCM2708
Revision : 0002
Serial : 000000001d747c36



Booting the release from SD (or external device)

and a second partition to uncompress the release and current kernel modules.kernel.img_3.6.1_20151024

Media installer preparation (development)

$ touch <mount-dir>/crux-media

Booting from the media installer initrd

$ mount /dev/sd?? /mnt
$ tar -C /mnt -pxvf /media/crux-arm-rootfs-3.2-raspberrypi.tar.xz
$ tar -C /mnt -pxvf /media/modules-3.6.11-raspberrypi_20130305.tar.xz
smsc95xx.turbo_mode=N dwc_otg.lpm_enable=0 console=tty1 root=/dev/mmcblk0p2 rootfstype=ext2 rootwait
  • Booting from second SD's partition using ext2 file system.
smsc95xx.turbo_mode=N dwc_otg.lpm_enable=0 console=tty1 root=/dev/sda1 rootfstype=ext4 rootwait
  • Booting from first USB device using ext4 file system.


We should setup all the important files: inittab, securetty, fstab, rc.conf, net ...

Serial Console

To obtain serial access we need to make some modifications to two files:

s0:12345:respawn:/sbin/agetty 115200 ttyAMA0 vt100