lk
LK embedded kernel (by littlekernel)
rCore
Rust version of THU uCore OS. Linux compatible. (by rcore-os)
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lk
Posts with mentions or reviews of lk.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-10-04.
-
Ask HN: Examples of Microkernels?
This is based on little kernel from recollection (noted somewhere in the docs)
https://github.com/littlekernel/lk
- The Little Kernel Embedded Operating System
- LK Embedded Kernel
- PSA: Nu-ti trebuie telefon nou
-
Are there any jobs out there in C++ programming for someone who is primarily a hardware engineer? HFT or any other industry?
I've worked in LK (Little Kernel), which is the basis of the Android and WebOS boot loaders, but is also a reasonable stand-alone operating system, ThreadX, which is a very lightweight RTOS, and one or two others. These were all written in C, but it was also quite a few years ago, so I suspect a good chunk of the industry has moved to C++.
-
Is “make” or “makefile” like a OS?
You might also want to look into LK ("little kernel"). It's the basis for both the Android and WebOS bootloaders, which I've also worked on. It has multi-threading and I/O but doesn't support user processes. Might be good for embedded systems.
- Samsung is now a contributor to Google’s Fuchsia OS
-
Now you can run Unix on the tiny $4 Raspberry Pi Pico
what about LK ?
- How does Redox compare to Fuchsia / Zircon?
rCore
Posts with mentions or reviews of rCore.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-10-04.
- Ask HN: Examples of Microkernels?
-
Is there a book or source that teaches Operating System concepts such as Multi-Process, Signal, File System and mmap in Rust?
Tsinghua university offers a OS course with their OS written in rust. https://github.com/rcore-os/rCore. I haven't checked out the content myself but have heard really good words about it.
What are some alternatives?
When comparing lk and rCore you can also consider the following projects:
FUZIX - FuzixOS: Because Small Is Beautiful
rvv-encoder - RISC-V V Extension Encoder
linux - Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
octox - Unix-like OS in Rust inspired by xv6-riscv
lk - LK embedded kernel
novusk - A kernel written in Rust
qubes-mirage-firewall - A Mirage firewall VM for QubesOS
xv6-riscv - Xv6 for RISC-V
opengapps - The main repository of the Open GApps Project
unikraft - FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
moros - MOROS: Obscure Rust Operating System 🦉