Objet : Développement de Linux pour System-Z
Activités : Revue des patches Linux et QEMU, design et développement de drivers VFIO et VIRTIO,
pour interfaces PCI et channel subchannel sur System-Z.
Mainteneur officiel Linux et QEMU pour interface Linux VFIO pour les cartes de
cryptographie sur System-Z.
Interface avec Libvirt, Docker et open-stack
Objet : Portage de FreeRTOS et de Linux sur hyperviseur temps réel XHYP (ARM)
Activités : Portage de l'exécutif temps réel FreeRTOS sur l'hyperviseur XHYP (ARM) - boot de l'OS, gestion des interruptions, du scheduler et des mutex. Portage de Linux sur Hyperviseur XHYP (ARM) - modification du boot, de la gestion d'interruption , de la MMU et du changement de contexte de Linux pour adaptation à XHYP. Ecriture des drivers de base, console et réseau virtuels.
Objet : Refonte de l'architecture d'un driver de cryptographie FPGA
Activités : Développement d'une architecture et conseils pour l'implémentation dans IPSEC d'un driver de cryptographie asynchrone pour FPGA de cryptographie. Développement du prototype de driver. Suivi de l'intégration.
Objet : Maquette de démonstration Linux embarqué
Activités : Conception et mise au point d'une maquette de démonstration Linux embarqué avec exécution du noyau sur la ROM (eXecute in Place) sur bi-processeur ARM Cortex-A15/Cortex-A7 disposant de 8Mo de mémoire RAM et 8Mo de ROM.
Objet : Architecture hyperviseur temps réel sur un SoC ARM 9 et Cortex-A8.
Activités : Définition de l'architecture logicielle pour un système de communication GPRS, WiFi, wimax, zigbee embarqué sur des véhicules. Portage de l'hyperviseur temps réel XHYP sur ARM9 et Cortex A8, Intégration pour l'utilisation de SIP et vidéo sous Linux.
Rôle : Chargé de formations
Objet : Formations UNIX, Linux, temps réel et ARM
Activités : Développement et tenue des formations Linux embarqué, Linux temps réel, Uboot et Linux embarqué, Programmation C, Programmation Shell, Programmation ARM, Programmation système sous Linux, virtualisation avec Xen, virtualisation temps réel avec okL4 et Xtratum.
Objet : Formations Linux embarqué maquette et conseils
Activités : Formation d’une équipe interne de 8 personnes spécialistes temps réel au système Linux, à Linux embarqué et à Linux temps réel. Maquette de démonstration Xenomai/RTNET d'une chaîne de contrôle-commande pour tests de moteurs. Conseils et suivi pour l’implémentation de drivers Linux et Xenomai.
Objet : Portage et intégration d'un logiciel de record/replay sur S390.
Activités : Définition de l'architecture globale, intégration à Tivoli System Automation, supervision. Portage sur S390 du patch noyau et d'une partie de la virtualisation par exo-kernel, déterminisme des accès mémoire, déterminisme TCP/IP et accès fichiers, pour des applications multi-thread sous zLinux. Définition et implémentation d'un protocole réseau spécifique au record/replay. Utilisation de la technologie de Checkpoint/Restart utilisée pour un cluster HPC pour la mise en haute disponibilité à chaud. Publication des patchs noyau sur la LKML.
Objet : Formations sur le portage Linux et Linux embarqué
Activités : Formation sur le portage Linux et eCOS, écriture de drivers, fourniture d'un système de développement intégré et du ROOT-FS.
Objet : Expertise d'un logiciel de record/replay sous Linux commandité par IBM-US.
Activités : Rapport d'audit sur la faisabilité du projet. Tests d'intégration, tests de pré-industrialisation. Participation au projet pour le développement du protocole de communication main/backup