Francisco Molina 9cb27b910a sys/sema/Kconfig: fix inclusion of xtimer
sema currently does not depend on xtimer, but on xtimer or ztimer
2021-10-06 17:59:49 +02:00
..
2015-10-28 17:16:22 +01:00