Cost conscious “real-time” ARM core runs uClinux