I hope you are all keeping safe at home and having some fun with your fellow quarantines. For those of you bored, I have a project that may be of interest to you.
For the last 7-8 months I've been developing an OS for ARM32 devices with features such as a priority-based multitasking preemptive kernel, userspace and system call support, synchronization primitives, configurable build options via kbuild, configurable target hardware via board information files (*.bi), a testing infrastructure with more than 250 test cases already implemented, among others.
You can take a look at the project at https://github.com/lzungri/laritos
It also comes with a wiki with info on how to build, run and test the OS under qemu: https://github.com/lzungri/laritos/wiki
Hope you enjoy it. Let me know if you have any questions/feedback.
Cheers,
Leandro