zephyr/doc/kernel/microkernel/microkernel_synchronization...