leos-kernel
leos-kernel copied to clipboard
lowenware
LeOS operating system Kernel for AArch64 written in Rust
At this moment kernel implements embedded concept: drivers are statically allocated for a platform. However, there will be a need of searching of the device by string identifier or type,...
The registers are being used in aarch64/exceptions.rs as an inline assembly, but must be replaced with zero-cost abstractions as other registers
There must be a mechanism that will allocate several task queues, by 1 per core.
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 -...