blob: 37b299dc7e06ed7ab98bef6e536250d4f5402379 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
Structure des dossiers source
=============================
- *bsp* pilotes et lib essentielle pour le STM32F4
- *common* sources utilisées dans la glutt-o-logique et le simulateur
- *FreeRTOS* sources de l'OS FreeRTOS pour le STM32F4
- *FreeRTOS-Sim-master* sources de la variante de FreeRTOS pour le simulateur
- *glutt-o-logique* code applicatif spécifique au STM32F4
- *simulator* code applicatif spécifique au simulateur y.c. interface graphique
- *temperature* code d'exemple, pour illustrer l'utilisation des entrées analogiques du STM32
Compiler le Simulateur
======================
Le simulateur de glutt-o-matique 3000 permet de tester le fonctionnement de la
logique sur un PC sans matériel spécial. Il faut un PC sous linux avec les librairies
X11, GL, GLU et pulseaudio, et faire
cd simulator
make
./FreeRTOS-Sim
Compiler le projet STM32
========================
Il faut un compilateur pour arm-none-eabi-, qui doit être dans le $PATH. Il
faut openocd pour FLASHer le STM32F4-DISCOVERY.
cd glutt-o-logique
make
make deploy
Analyse statique avec clang
===========================
Dans le simulateur scan-build tout seul fonctionne, mais dans glutt-o-logique/ il faut
scan-build --use-cc=arm-none-eabi-gcc --analyzer-target=arm-none-eabi make ARCH=arm CROSS_COMPILE=arm-none-eabi-
|
