mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
4c88cb5f0e
`sched_switch()` is supposed to be used in core only. This fixes #6756. |
||
---|---|---|
.. | ||
contrib | ||
include | ||
doc.txt | ||
Makefile | ||
Makefile.include |