aboutsummaryrefslogtreecommitdiff
path: root/libraries/mbed/rtos/Makefile
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2017-04-27 16:53:56 -0400
committerPaul Selkirk <paul@psgd.org>2017-04-27 16:53:56 -0400
commitbf394f25dacac8e3e3add80ea326312cdd97ed00 (patch)
treef5ad564f6834796277ddb08cbe8986cfa475c2f6 /libraries/mbed/rtos/Makefile
parent410e6bb67fb5df5d0e4c962deac3e5562e5dc48f (diff)
Replace the RTOS with a simple cooperative tasker.
There are no priorities and no preemption, so tasks run in a round-robin fashion, and explicitly yield control.
Diffstat (limited to 'libraries/mbed/rtos/Makefile')
0 files changed, 0 insertions, 0 deletions