There is an edX course coming up in September from the University of Texas in Austin - this time with MSP432 or TM4C123 LaunchPad. The parts list also includes the CC2650 and Educational BoosterPack MK-II. The syllabus includes BLE and RTOS. It is taught by Jonathan Valvano and Ramesh Yerraballi who have offered a course using the TM4C123 on edX in the past.
https://www.edx.org/course/real-time-bluetooth-networks-shape-world-utaustinx-ut-rtbn-12-01x
http://edx-org-utaustinx.s3.amazonaws.com/UT601x/RTOS.html
edit: forgot to mention that these courses are free if you just audit th