diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-04-27 16:53:56 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-04-27 16:53:56 -0400 |
| commit | bf394f25dacac8e3e3add80ea326312cdd97ed00 (patch) | |
| tree | f5ad564f6834796277ddb08cbe8986cfa475c2f6 /libraries/mbed/rtos/Makefile | |
| parent | 410e6bb67fb5df5d0e4c962deac3e5562e5dc48f (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