In similar spirit to #601.
We should have an example that shows multithreading in Microkit so users can look at it if they want multithreading.
My vision is that we just have 2 PDs that increments a shared counter in a Memory Region with some form of locking.
In similar spirit to #601.
We should have an example that shows multithreading in Microkit so users can look at it if they want multithreading.
My vision is that we just have 2 PDs that increments a shared counter in a Memory Region with some form of locking.