Navigation

AT91 Linux: Linux for ATMEL ARM based microcontrollers

• Linux4sam.org
• Linux4SAM sources on Github
• Atmel AT91 Linux kernel upstream work on Github

GNU/Linux : systèmes embarqués

Document décrivant une évaluation de solution GNU/Linux embarqué et temps réel pour la société IRTS :

• Rapport de fin d'études GNU/Linux : systèmes embarqués

Transparents de la mini-conférence donnée sur le stand d'Alcôve lors de la Linux Expo. 2001 :

• Transparents GNU/Linux : systèmes embarqués

Linux temps réel

Cours écrits en tant que formateur Alcôve

• Cours Linux temps réel (pdf)
• Cours RTLinux (pdf)

Ces travaux sont le prolongement des recherches menées à bien lors de la rédaction du deuxième chapitre du rapport évoqué ci-dessus :

• Chapitre 2 du rapport de synthèse Les Linux Temps Réel

Pilotes de périphériques RTLinux

• Générateur d'impulsions sur port parallèle: parport_irq.tgz
• Pilote de carte d'entrées/sorties numériques: CIO-PDISO16 RTL device driver (en)
• Pilote de carte son (Sound Blaster PCI128 (es1371)): es1371 device driver (en)

Le système GNU/Linux

Haute disponibilité

Ce document permet d'aborder les cause de défaillance des serveurs, les principes de haute disponibilité et présente la mise en places de solutions à l'aide d'outils libres. J'ai rédigé ce livre blanc Alcôve en 2000 : il mériterait une petite mise à jour...

• Livre blanc Haute disponibilité sous GNU/Linux  (copie locale)

Système de sauvegarde

Voici le système de sauvegarde que j'ai pu mettre en place sur un serveur en production. Il permet d'effectuer des sauvegardes sur bandes magnétiques et des sauvegardes distantes via rsync. Écrit en Bash il utilise afio comme logiciel d'archivage.

• Sauvegarde de serveurs

Mon Curriculum Vitae