tree 2252c66f3b7ea58cce3448c7bc69f4e430ce863d
parent 407d56982168836b76ff5f78ce13949214bb27b4
author Davide Pesavento <davide.pesavento@lip6.fr> 1539307223 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1539974490 -0400

rib: stop using the global scheduler

Change-Id: I0e205e2f1adf85be49b132b47791b27e4530697a
Refs: #4528