RTOS- RL-RTX – soll mit Linux für STM verwendet werden

Hallo,

ich würde mich sehr freuen, wenn ihr mir hier weiterhelfen könnt.

Folgendes Vorhaben: Programm für STM32F407 mit µVision (Demoversion) und 
RTX – Kernel (nicht CMSIS, ich möchte RTX) erzeugt, kompiliert und 
arbeitet nach meinem Wunsch.

Der selbe Programmcode (speziell die Tasks)  soll jetzt auch unter Linux 
für den STM gebaut werden können (Keine Demoversion → keine 
Einschränkung). Es kompiliert allerdings nicht.

Problem scheint das RTOS RTX zu sein.

(Fehlerbild: RL-RTX/RTL.h error: expected initializer before '__swi' 
extern void      tsk_lock (void) __swi (5);).

Falls ich den falschen Namen verwende, ein Link zum "RL":

http://www.keil.com/support/man/docs/rlarm/rlarm_rtl_h.htm

Ich habe versucht Beispiele für das RTOS/RTX/RL zu finden. Meine 
Suchergebnisse liefern jedoch  keine Linux (vorzugsweise Ubuntu) 
basierten Beispiele, sondern verweisen meist direkt auf Keil/Arm 
(Windows). Ich möchte den arm-none-eabi-gcc bzw. arm-none-eabi-g++ und 
das RTOS-RTX (lib) nutzen. Wo ist mein Denkfehler? Suche evtl. zu 
unspezifisch? Was brauche ich evtl. noch? Wer kennt Beispiele?

Vielen Dank