Rest of static mutable resources are not thread-safe #19
Description
While only one core is working it is not an issue, but there must be synchronization mechanism for following resources:
- Scheduler's queue
- Device driver's from platform's abstractions
- MMU Kernel's address space
- Interrupt's handlers