Tenías razón, tenía que incluír en mi proyecto el archivo
RTX_Config.c, pero no sólo bastaba con eso...
Subo todo el proceso por si a alguien le interesa:
1º PASO
Hacer includes necesarios:
#include <MKL46Z4.H>
#include "RTL.h"
__task void init (void) {
}
int main () {
os_sys_init(init);
}
2º PASO
Añadir fichero
RTX_Config.c al proyecto:
Este fichero lo podemos encontrar en un proyecto de ejemplo, de los que trae el Keil uVision4:
C:\Keil\ARM\Boards\Freescale\FRDM-KL25ZPara incluirlo, dentro de Keil hacemos click derecho sobre 'Source Group 1' (puede tener otro nombre el grupo, este es mi caso). Seleccionamos
'Add existing files to Group 'nombre grupo' ..' y examinamos en busca del fichero. Yo lo había copiado previamente a la carpeta del proyecto.
Quedaría tal que así:

fff.png(8.64 kB, 222x299 - visto 413 veces)3º PASO
En la imagen anterior observamos que hay una especie de carpetita encima de 'Source Group 1' que pone
'Target 1', hacemos click derecho sobre ella y seleccionamos
'Options for Target 1 'Target 1'...'Seleccionamos la pestaña
Target y ponemos
'Operating system: RTX Kernel'
bbbbb.png(8.16 kB, 362x144 - visto 365 veces)En mi caso, para que funcione la placa correctamente, también selecciono la pestaña
Debug y marco
'Use: CMSIS-DAP Debugger'
aaaaa.png(7.66 kB, 627x105 - visto 421 veces)Saludos y gracias KILLERJC.