search

argos-research / genode-AdmCtrl

Admission Control for the Genode OS Framework
0 stars 2 forks source link

Fix #9 #7

Closed BugUser0815 closed 7 years ago

BugUser0815 commented 7 years ago

Moved any code belonging to rq buffer into AdmCtrl. AdmCtrl now tells Synchronizer when it's time to go. Not the other way round.