mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-15 14:52:45 +01:00
4c88cb5f0e
`sched_switch()` is supposed to be used in core only. This fixes #6756. |
||
---|---|---|
.. | ||
netdev | ||
sock | ||
doc.txt | ||
lwip.c | ||
Makefile | ||
sys_arch.c |