Compare le support entre ton Linux ou un FreeBSD et VxWorks... Et typiquement, RTEMS est Libre et gratuit.