Archives de la catégorie ‘Linux’

Xenomai sur Raspberry Pi 3 : bon espoir mais bilan mitigé

Embarqué, Linux, Microprocesseur, Raspberry Pi, Temps-réel | Publié par cpb
Mar 20 2017

Depuis plusieurs mois, on m’interroge régulièrement sur le support de Xenomai sur Raspberry Pi 3 tant durant mes sessions de formations sur Xenomai que dans des messages par mail. J’avais l’habitude de répondre que Xenomai ne fonctionnait pas encore sur ce modèle de Raspberry Pi.

Une remarque récente de Syrine dans les commentaires de l’article “Xenomai 3 sur Raspberry Pi 2” a attiré mon attention sur un site japonais qui utilise les mêmes commandes que celles présentées dans cet article et fait fonctionner l’ensemble sur un Raspberry Pi 3. J’ai voulu tenter également cette installation. Le résultat est un peu mitigé : Xenomai fonctionne parfaitement avec une bonne stabilité, sauf en ce qui concerne la gestion des interruptions des GPIO qui n’est pas supportée encore. Si vous êtes néanmoins tentés par l’expérience, voici comment procéder simplement.

Lire la suite de cette entrée »

Un noyau 4.10 sur un Raspberry Pi 3 64 bits

Embarqué, Linux, Raspberry Pi | Publié par cpb
Mar 13 2017

Vanilla kernel 4.10 on 64 bits Raspberry Pi 3

Lorsque nous recompilons un noyau Linux pour le Raspberry Pi, nous avons généralement l’habitude d’utiliser un kernel spécifique, disponible sur https://github.com/raspberrypi/linux contenant des drivers absents du noyau standard. Il est néanmoins possible de faire fonctionner sur la plupart des modèles de Raspberry Pi un noyau Linux parfaitement standard (aussi dit Vanilla Kernel). Ceci au prix de quelques efforts de configuration que nous allons voir.

À titre d’exemple, nous allons installer un noyau Linux 4.10.1 (diffusé depuis deux semaines) sur un Raspberry Pi 3.

En outre, nous allons faire fonctionner le Raspberry Pi 3 en mode 64 bits et utiliser le bootloader industriel U-boot !

Lire la suite de cette entrée »

Un bête accident

Embarqué, Linux, Raspberry Pi | Publié par cpb
Fév 27 2017

Un bête accident

Dans la longue liste des cartes et composants détruits par un mauvais branchement je viens d’ajouter un Raspberry Pi 2.

Bien qu’assez précautionneux avec les cartes électroniques, je reconnais volontiers ma responsabilité dans plusieurs cas (maladresse, agacement, mauvaise lecture des numéros de broches, etc.). À quelques reprises les erreurs furent commises par des participants à mes sessions de formation.

Cette fois une bonne partie du problème relève de la malchance : je vais vous raconter ma mésaventure en espérant que cela évitera ce genre de situation à l’avenir.

Lire la suite de cette entrée »

Pi Zero et USB-net (2)

Embarqué, Linux, Raspberry Pi | Publié par cpb
Fév 12 2017

Pi Zero et USB-net

Dans l’article précédent, nous avons réussi à nous connecter depuis un PC hôte vers un Raspberry Pi Zero uniquement en employant un câble USB semblable à ceux pour téléphone portable.

Néanmoins, nous avions relevé plusieurs points restant à améliorer :

  • la connexion SSH est un peu longue à établir,
  • le Raspberry Pi Zero n’a pas accès à Internet,
  • il est nécessaire de fixer manuellement l’adresse IP de l’interface USB-net du côté PC.

Réglons ces problèmes un à un.

Lire la suite de cette entrée »

Raspberry Pi Zero et USB-net (1)

Embarqué, Linux, Raspberry Pi | Publié par cpb
Fév 05 2017

Pi Zero et USB-netLe petit Raspberry Pi Zero est un nano-ordinateur bien sympathique. Il dispose des capacités équivalentes au Raspberry Pi modèle 1 B+, pour un encombrement à peine supérieur à celui d’un ticket de métro.

Victime de son succès le Pi Zero s’écoule au compte-gouttes, mais il devient possible d’en obtenir un assez facilement pour 4$ (plus environ 4$ de port !).

Il existe de nombreux tutoriels de prise en main, à commencer par ceux – excellents – d’Adafruit. L’article ci-dessous permet une prise de contrôle uniquement par l’interface USB-net, sans souder de connecteur série, sans brancher de clavier (ce qui nécessiterait un adaptateur USB-A femelle micro USB-B mâle) ni même d’écran (ce qui nécessiterait un adaptateur HDMI femelle micro-HDMI mâle). Nous allons utiliser le Raspberry Pi Zero nu, et un simple câble USB micro-USB comme on en emploie pour connecter un téléphone portable et un PC.

Lire la suite de cette entrée »

Ajustements pour le Raspberry Pi 3

Embarqué, Linux, Raspberry Pi | Publié par cpb
Oct 09 2016

J’ai reçu récemment plusieurs demandes de lecteurs souhaitant appliquer les opérations proposées dans les articles Renforcer une distribution Raspbian Jessie et Création d’un système complet avec Buildroot pour la carte Raspberry Pi 3.

Voici donc un aperçu rapide des opérations à réaliser. Pour en comprendre le détail on se reportera aux articles concernés.

Lire la suite de cette entrée »

Xenomai 3 sur Raspberry Pi 2

Embarqué, Linux, Raspberry Pi, Temps-réel | Publié par cpb
Mai 22 2016

Xenomai 3 on Raspberry Pi 2Depuis plusieurs années l’installation de Xenomai sur un Raspberry Pi 1 se fait assez facilement, et les résultats en sont plutôt satisfaisants. Malheureusement l’installation sur un Raspberry Pi 2 ne fonctionnait pas. Le problème a été résolu depuis quelques mois par un patch de Mathieu Rondonneau qui permet d’utiliser la toute dernière version de Xenomai (3.0.2).
Lire la suite de cette entrée »

Paris Embedded Meetup #8

Linux | Publié par cpb
Avr 13 2016

Paris EmbeddedCe soir à 19h, retrouvez-nous chez Mozilla, 16 bis boulevard Montmartre pour le huitième Paris Embedded Meetup.

À l’affiche :

  • Créer un bootloader/bsp/crt0/base-system pour un design sparc bare-metal en utilisant cmake et llvm/clang par Patrick Boettcher
  • GameBoy Pi – Mathieu Maret
  • Le système de build Alchemy – Yves-Marie Morgan

Les trois conférences seront présentées en français, puis seront suivies vers 21h d’un moment convivial autour de pizzas et de boissons variées.

Participation aux frais : 10 €

Pour en savoir plus : http://www.parisembedded.fr

Création d’un système complet avec Buildroot 2015.11

Actualité, Embarqué, Linux, Raspberry Pi | Publié par cpb
Déc 08 2015

Création d'un système complet avec Buildroot 2015-11

Il y a quelques jours, la livraison trimestrielle de Buildroot a rendu disponible une version 2015.11. J’ai voulu l’essayer en construisant un petit système pour Raspberry Pi 2. et partager cette expérience qui viendra ainsi en complément de mon article précédent. Buildroot permet de construire un système embarqué plus traditionnel qu’en utilisant une distribution pré-compilée, et d’ajuster plus finement son contenu.

Lire la suite de cette entrée »

Renforcer une distribution Raspbian Jessie

Embarqué, Linux, Raspberry Pi | Publié par cpb
Oct 19 2015

Raspbian Jessie

Depuis quelques jours une nouvelle distribution Raspbian est disponible pour le Raspberry Pi : la version Jessie. Il s’agit de l’adaptation de la distribution Debian 8 sortie au printemps.

L’avantage de Debian est de disposer aisément d’un très large éventail d’applications, utilitaires, bibliothèques pré-configurés et faciles à installer. En outre il s’agit en quelque sorte de la distribution de référence lorsqu’on parle d’un système Linux.

L’inconvénient, à mes yeux, de Raspbian est qu’elle est prévue pour une utilisation “desktop” qui convient très bien pour un PC mais pas vraiment pour un système embarqué. Je lui reproche entre autre de ne pas être très robuste vis-à-vis des coupures d’alimentation. Mais rien ne nous empêche de la configurer comme un système embarqué classique. Essayons…
Lire la suite de cette entrée »