You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The current revoke operation implementation does not suit the requirements of the processor allocator.
It needs to revoke a scheduling context capability reference and then declare the thread id as unused.
Both needs to be done inside the monitor of the processor allocator.
The text was updated successfully, but these errors were encountered:
The current revoke operation implementation does not suit the requirements of the processor allocator.
It needs to revoke a scheduling context capability reference and then declare the thread id as unused.
Both needs to be done inside the monitor of the processor allocator.
The text was updated successfully, but these errors were encountered: