leos-kernel
leos-kernel copied to clipboard
Rest of static mutable resources are not thread-safe
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