unikraft
dyld
unikraft | dyld | |
---|---|---|
2 | 32 | |
18 | 535 | |
- | 2.2% | |
2.4 | 4.0 | |
12 months ago | about 1 month ago | |
C | C++ | |
GNU General Public License v3.0 or later | 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.
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
dyld
- An M1 for Curl
-
Maybe all the big companies should stop using Linux as it's open source so it's a "serious security concern"
None of what? In case I understood you by chance, there's a whole darwin stack on github, grouped neatly at https://opensource.apple.com/releases/. There is a lot of argument about what's open source and what's not, I consider permissive licenses as open source. I did never claim that any Apple software is open source, but due to OS's modular nature I'm willing to say that macOS and iOS consequently is largely open source
- Tales of the M1 GPU
- Is the kernel code quality getting any better?
- What does closed-source with open-source components mean?
-
Why do many Linux fans have a greater distaste for Microsoft over Apple?
A lot of Apple software including the operating systems is open source, though in practice many of the key components that you might need to solve a problem or understand a bug are missing from these repositories.
- Ask HN: Examples of Microkernels?
- We all have a piece of Apple software on every distro
- Weston/Wayland now works on M1 GPU
- Apple fixes eighth zero-day used to hack iPhones and Macs this year
What are some alternatives?
FreeRTOS-Kernel - FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
xnu
qubes-mirage-firewall - A Mirage firewall VM for QubesOS
darwin-xnu - Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
nanos - A kernel designed to run one and only one application in a virtualized environment
lk - LK embedded kernel
docs - The front page and documentation for the Unikraft Open-Source Project.
proton-calendar - Proton Calendar built with React.
app-click - Click Modular Router on Unikraft
NT5.1 - Windows NT 5.0 kernel source code.
click - The Click modular router: fast modular packet processing and analysis
ios-mail - Secure email that protects your privacy