lk
unikraft
lk | unikraft | |
---|---|---|
9 | 2 | |
3,077 | 18 | |
1.2% | - | |
8.6 | 2.4 | |
6 days ago | 12 months ago | |
C | C | |
MIT License | GNU General Public License v3.0 or later |
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
-
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?
unikraft
-
Ask HN: Examples of Microkernels?
It seemed to be in a similar space to Genode when I had a brief look. Is it clear how it compares?
A system that claims to allow you to configure it in microkernel and other modes might be interesting for comparison of the approaches, but I've only noticed it via a local connexion: https://project-flexos.github.io/
-
Unikraft is a fast, secure and open-source Unikernel Development Kit
Thanks for the feedback, we're in the process of adding a security section[0] which will detail more on the on-goings, but we'll work on adding more highlights on the main page.
I need to highlight we have separate research[1][2] which will make its way upstream soon which aims to provide hardening between internal libraries (e.g. isolating the network stack or scheduler) using gates like Intel MPK or separate hardware-accelerated services.
[0]: https://github.com/unikraft/docs/pull/32
[1]: https://project-flexos.github.io/
[2]: https://github.com/project-flexos/unikraft
What are some alternatives?
FUZIX - FuzixOS: Because Small Is Beautiful
FreeRTOS-Kernel - FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
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/
qubes-mirage-firewall - A Mirage firewall VM for QubesOS
lk - LK embedded kernel
nanos - A kernel designed to run one and only one application in a virtualized environment
docs - The front page and documentation for the Unikraft Open-Source Project.
opengapps - The main repository of the Open GApps Project
app-click - Click Modular Router on Unikraft
nixpkgs - Nix Packages collection & NixOS
click - The Click modular router: fast modular packet processing and analysis