sentence: the main differences are : real-time guarantees ( each api call is quick , but more importantly , time-bound ) multiple threads inside the kernel as well as outside pluggable memory models , allowing better support for later generations of arm instruction set .