Reset rq buffer pointer

argos-research / genode-AdmCtrl

Admission Control for the Genode OS Framework

0 stars 2 forks source link

Closed BugUser0815 closed 7 years ago

BugUser0815 commented 7 years ago

Reset pointer of first element to beginning of rq buffer after sync finished deployment.