Port d`un OS léger sur carte Raspberry Pi Sujet : Portage

Port d'un OS léger sur carte Raspberry Pi
Sujet :
Portage du noyau DNA sur une architecture système Raspberry Pi
et écriture d'un driver
Prise en main de la carte et du système de compilation croisée
Étude de la phase de boot et d'initialisation de la carte
Étude du noyau DNA, et en particulier de sa couche
d'abstraction du matériel et de ses pilotes
Écriture du code de boot et lancement d'une application
multi-thread
Développement du driver HDMI (si le temps le permet)
Système bas niveau, programmation C et assembleur ARM, étude
de la norme HDMI et écriture d'un pilote graphique.
1/3
Modélisation de la carte Raspberry Pi dans l'environnement
Rabbits/SystemC
Sujet :
Développement d'IP (périphériques) en simulation SystemC-TLM
et intégration système matériel/logiciel
Prise de contact avec SystemC-TLM
Étude et prise en main de l'environnement Rabbits
Étude du BCM2835 de Broadcom et de la carte Raspberry Pi
Dénition de la stratégie de modélisation des périphériques
Développement de n modèles : Timer, interrupt controller,
UART ad minima
Intégration matérielle/logicielle
Démonstration (boot de linux Raspbian modié sur Rabbits)
Programmation C/C++, SystemC, compilation (et débug) d'un
noyau linux ad-hoc
2/3
Port d'un OS léger sur multiprocesseur Sparc
Sujet :
Port du noyau DNA sur une architecture OpenSparc
Analyse de la couche d'abstraction du matériel de l'OS DNA
Étude de l'ISA Sparc V9, en particulier les fenêtres de registres
et les contraintes liées aux architectures 64 bits
Dénition d'une séquence de boot
Port de la couche d'abstraction du matériel
Simulation (soit en Verilog sous ISE, soit en utilisant la
plate-forme Sparc64 de QEMU)
Exécution sur la plate-forme matériel Virtex 5 OpenSPARC
Evaluation Platform
Architecture avancée, système d'exploitation, simulation, FPGA
3/3