ARMadillo

Un OS de bras minimal pour le Raspberry Pi Zero.

Ceci est mon projet de bonus personnel pour le cours "Conception de systèmes intégrés" [ECE1258].

Table des matières

1. Caractéristiques
2. Console de démonstration
3. Exigences
4. Installation
5. Arbre de projet
6. Références
7. Ressources
8. Divers

Caractéristiques

Actuellement, It:

• Bottes,
• Communique à l'aide du port de série UART0,
• Utilise les périphériques (TIMER ARM / 64 bits, LED),
• Utilise le coprocesseur à virgule flottante,
• Sert les interruptions,
• Gère la mémoire,
• Implémente la mémoire virtuelle,
• Effectue des commutateurs de contexte,
• Utilise les spinlocks et le mutex.

Console de démonstration

Une fois le système d'exploitation lancé et que tout est initialisé, l'exécution est transmise à une console de démonstration accessible via / dev / ttyUSB0.

La console de démonstration accepte quelques commandes:

 help
	Displays a list of available commands
intr
	Setups a repeatable IRQ interrupt that blinks the LED light of
	the Pi once every second.
proc
	Setups the scheduler, launches a kernel and a user process and
	switches between them seamlessly.
lock
	Same as proc, but also utilizes mutex locks.
	Control is still switched continuously between the two processes;
	however, they share a lock, and they sequentially un/lock it.
fpuo
	Performs a floating point operation using the floating point coprocessor.
	Proof can be found in the kernel.list file that is produced during
	compilation if one looks for the fpu_mult details.
	Note that separate function must be used to produce the result
	(fpu_mult in common/stdlib.c), otherwise the compiler just
	precalculates the result.

Exigences

1. Un Raspberry Pi Zero (stock, w ou wh modèle),
2. Un câble série USB-TTL,
3. Une carte SD correctement formatée,
4. Une console série (Dterm, Minicom, écran).

Installation

Manuel

1. Clone le référentiel.
2. cd build
3. make
4. Copiez le kernel.img résultant dans la première partition de votre carte SD.

Automatique

1. Clone le référentiel.
2. Branchez votre carte SD.
3. cd scripts
4. ./makerLoader.sh

Arbre de projet

 $root
├ build
├ common
├ docs
├ drivers
├ include
│    ├ common
│    └ drivers
├ kernel
└ scripts

Références

Architecture ARM Manuel de référence, édition ARMV7-A et ARMV7-R

ARM1176JZF-S Manuel de référence technique, révision R0p7

Périphériques BCM2835 ARM

Ressources

Tutoriel Osdev.org Raspberrypi

Raspberrypi Zero Baremetal Exemples par dwelch67

Construire un système d'exploitation pour le Raspberrypi par JSandler18

Divers

Le style de codage suit principalement le style de codage du noyau Linux.

Badges de bouclier fournis par Shields.io.

⇯ Retour en haut