FR:RPi Software

Revision as of 19:59, 25 May 2013 by Xavier (talk | contribs) (Distributions)
Jump to: navigation, search

Retour vers le Hub.

Logiciels et Distributions :

Logiciels - une vue d'ensemble.

Distributions - systèmes d'exploitation et environnements de développement pour le Pi.

Compilation du noyau - conseils sur la compilation du noyau.

Performances - mesure des performances du Pi.

Programmation - langages de programmation utilisables sur le Pi.

Vue d'ensemble

Si vous souhaitez juste un système qui fonctionne, tout ce dont vous avez besoin est une carte SD corretement formatée. Pour les détails sur comment la créer ou en obtenir une, veuillez lire la page Hardware Basic Setup.

Afin de comprendre les composants logiciels du RPi, vous devez au préalable comprendre la façon dont il est amorcé. À la mise sous tension, le CPU est hors ligne, et un petit cœur RISC sur le GPU est responsable de l'amorçage du SoC, par conséquent, la plupart des éléments d'amorçage est en réalité exécutée par le code du GPU, pas par le CPU.

La séquence d'amorçage et les composants se répartissent ainsi :

  • First stage bootloader - This is used to mount the FAT32 boot partition on the SD card so that the second stage bootloader can be accessed. It is programmed into the SoC itself during manufacture of the RPi and cannot be reprogrammed by a user.
  • Second stage bootloader (bootcode.bin) - This is used to retrieve the GPU firmware from the SD card, program the firmware, then start the GPU.
  • GPU firmware (start.elf) - Once loaded, this allows the GPU to start up the CPU. An additional file, fixup.dat, is used to configure the SDRAM partition between the GPU and the CPU. At this point, the CPU is release from reset and execution is transferred over.
  • User code - This can be one of any number of binaries. By default, it is the Linux kernel (usually named kernel.img), but it can also be another bootloader (e.g. U-Boot), or a bare-bones application.

Prior to 19th October 2012, there was previously also a third stage bootloader (loader.bin) but this is no longer required. [1]

Raspbian Linux image (others?) available on the foundation's website ([1]) also contains cut-down versions of the above files (fixup_cd.dat, start_cd.elf). These are used when GPU memory is set to 16 MB, which in result disables some GPU features. More info here. In addition, there are also testing versions of the above files (fixup_x.dat, start_x.elf), which enable potentially unstable/not-fully-tested/hacky functionality - currently, using these files instead of the usual fixup.dat/start.elf will cause extra video codecs to become available.

En raison de ce processus d'amorçage, l'utilisation d'une carte SD pour démarrer le RPi est obligatoire. Cela implique cependant que vous ne pouvez pas le 'bricker'.

Gestionnaires d'amorçage du GPU

Currently all of the GPU software and firmware is supplied in binary format. For Raspbian the latest stable release is included in the image and can be updated with apt-get (see the adding software page). The latest bleeding edge version can be downloaded from the RPI firmware section on GitHub. At this time, the source code is not available.

rpi-update is also available as an easier way of updating the firmware and kernel. Please note, as this firmware is bleeding edge, it really should only be used by advanced users and could potentially still have bugs and be incompatible with existing images.


Page principale : Distributions

Des images de cartes SD pour certaines distributions prêtes à l'emploi, dont Raspbian (la distribution officielle pour RPi, basée sur Debian), Arch Linux ARM, et RISC OS sont disponibles depuis le site web de la fondation Raspberry Pi. Des cartes SD pré-installées sont également disponibles chez The Pi Hut.

Plusieurs autres distributions proposent aussi des images pour RPI. Voir sur

La distribution conseillée est Raspbian.


Page principale : RPi Kernel Compilation

Les sources du noyau peuvent être obtenues depuis la section linux du RPi sur GitHub


The Broadcom processor on Raspberry Pi contains an ARM v6 general purpose processor and a Broadcom VideoCore IV GPU. No data is currently available on other cores (if any) available in the BCM2835.


There is broad compiler support for the ARM processor including GCC - please see ARM Compilers. There are also a number of cross-compiler toolchains - please see toolchains.

The gcc compiler flags which will produce the most optimal code for the RPi are:

-Ofast -mfpu=vfp -mfloat-abi=hard -march=armv6zk -mtune=arm1176jzf-s

-Ofast may produce compile errors for some programs. In this case, -O3 or -O2 should be used instead. Note that -mcpu=arm1176jzf-s can be used in place of -march=armv6zk -mtune=arm1176jzf-s.

If you want to generate a relatively up-to-date compiler that uses the optimal flags by default, you can roll your own version of Linaro GCC - see RPi Linaro GCC Compilation.


The GPU provides APIs for Open GL ES 2.0, hardware-accelerated OpenVG, and 1080p30 H.264 high-profile decode.

The GPU is capable of 1Gpixel/s, 1.5Gtexel/s or 24 GFLOPs of general purpose compute and features a bunch of texture filtering and DMA infrastructure - the Raspberry Pi team are looking at how they can make this available to application programmers. For the documentation on some Broadcom APIs exposed to control the GPU, see RPi VideoCore APIs.

The GPU blob is an 18MB elf file, including libraries. It does an awful lot. [2]


There is a DSP, but there isn't currently a public API (Liz thinks the BC team are keen to make one available at some point).


Un grand nombre de résultats de tests de performances est disponible sur la page performances.


Des environnements de développement sont disponibles selon le langage qui vous utilisez - voir la page programmation.


Le processeur ARM du RPi peut être émulé grâce à QEMU. Voir le tutoriel d'emercer, et également cette discussion.