Right now both semaphores and mutexes and used by the simplink os abstraction layer. Using only semaphores might will help on reducing the code size without any impact on functionality. The only advantage of mutexes over semaphores is the priority inversion, but since both the micropython task and the servers task are running at the same priority level (and this will remain this way), no impact should be seen when changing the mutexes for semaphores.
Right now both semaphores and mutexes and used by the simplink os abstraction layer. Using only semaphores might will help on reducing the code size without any impact on functionality. The only advantage of mutexes over semaphores is the priority inversion, but since both the micropython task and the servers task are running at the same priority level (and this will remain this way), no impact should be seen when changing the mutexes for semaphores.