Wie installiert man FreeRTOS auf Raspberry Pi?

Question

mein Ziel ist FreeRTOS von this site auf einem Raspberry Pi zu laufen. Ich habe es mit arm-none-eabi-gcc auf einem Linux-Rechner erstellen.

Jetzt habe ich diese Dateien/Ordner:

RaspberryPi-FreeRTOS/ 
├── build 
│ ├── Demo 
│ │ ├── Drivers 
│ │ │ ├── gpio.d 
│ │ │ ├── gpio.o 
│ │ │ ├── irq.d 
│ │ │ └── irq.o 
│ │ ├── main.d 
│ │ ├── main.o 
│ │ └── startup.o 
│ └── FreeRTOS 
│  └── Source 
│   ├── croutine.d 
│   ├── croutine.o 
│   ├── list.d 
│   ├── list.o 
│   ├── portable 
│   │ ├── GCC 
│   │ │ └── RaspberryPi 
│   │ │  ├── port.d 
│   │ │  ├── portisr.d 
│   │ │  ├── portisr.o 
│   │ │  └── port.o 
│   │ └── MemMang 
│   │  ├── heap_4.d 
│   │  └── heap_4.o 
│   ├── queue.d 
│   ├── queue.o 
│   ├── tasks.d 
│   └── tasks.o 
├── dbuild.config.mk 
├── Demo 
│ ├── Drivers 
│ │ ├── bcm2835_intc.h 
│ │ ├── gpio.c 
│ │ ├── gpio.h 
│ │ ├── irq.c 
│ │ └── irq.h 
│ ├── FreeRTOSConfig.h 
│ ├── main.c 
│ └── startup.s 
├── FreeRTOS 
│ └── Source 
│  ├── croutine.c 
│  ├── include 
│  │ ├── croutine.h 
│  │ ├── FreeRTOSConfig.h 
│  │ ├── FreeRTOS.h 
│  │ ├── list.h 
│  │ ├── mpu_wrappers.h 
│  │ ├── portable.h 
│  │ ├── projdefs.h 
│  │ ├── queue.h 
│  │ ├── semphr.h 
│  │ ├── StackMacros.h 
│  │ ├── task.h 
│  │ └── timers.h 
│  ├── list.c 
│  ├── portable 
│  │ ├── GCC 
│  │ │ └── RaspberryPi 
│  │ │  ├── port.c 
│  │ │  ├── portisr.c 
│  │ │  └── portmacro.h 
│  │ └── MemMang 
│  │  ├── heap_1.c 
│  │  ├── heap_2.c 
│  │  ├── heap_3.c 
│  │  └── heap_4.c 
│  ├── queue.c 
│  ├── tasks.c 
│  └── timers.c 
├── kernel.elf 
├── kernel.img 
├── kernel.list 
├── kernel.map 
├── kernel.syms 
├── Makefile 
├── objects.mk 
├── raspberrypi.ld 
└── README.md 

Was sind der nächste Schritt FreeRTOS zum Pi zu bringen?

Vielen Dank im Voraus.

Alex

Answer 1

zu nehmen Hilfe von vorhandenem Betriebssystem für Raspberry Pi empfohlen loszuzulegen wie: raspbian. Dort sind alle notwendigen Dinge (Bootloader) zum Booten eines Kernels vorhanden. Also zuerst raspbian installieren, dann von SD-Karte finden Sie raspbian eigenen kernel.img, benennen Sie es nehmen Backup und dann kopieren Sie die Freertos kernel.img in SD-Karte, dann versuchen, zu booten. Hoffentlich wird das funktionieren. Stellen Sie sicher, dass die Versionen RaspberryPi und freertos in Ordnung sind.