Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more โ
Top 23 Kernel Open-Source Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
linux-network-performance-parameters
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: ๐ท๐บ
-
build
Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf
-
Theseus
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
-
u-root
A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Why does part of the Windows 98 Setup program look older than the rest? | news.ycombinator.com | 2024-04-09SerenityOS replicates that look and feel. It is also implemented in a dialect of C++ that adheres to some of the good parts of C++98: https://serenityos.org
Project mention: Cisco to Acquire Cloud Native Networking and Security Leader Isovalent | news.ycombinator.com | 2023-12-21They would have had to add a few externals to get to Graduated but it's definitely a minority:
https://github.com/cilium/cilium/blob/main/MAINTAINERS.md
Isn't gVisor kind of this as well?
"gVisor is an application kernel for containers. It limits the host kernel surface accessible to the application while still giving the application access to all the features it expects. Unlike most kernels, gVisor does not assume or require a fixed set of physical resources; instead, it leverages existing host kernel functionality and runs as a normal process. In other words, gVisor implements Linux by way of Linux."
https://github.com/google/gvisor
Project mention: Questioning "The Value of Open Source Software" | news.ycombinator.com | 2024-02-12https://reactos.org/ implement some of the windows API
Project mention: Operating System Development Tutorials in Rust on the Raspberry Pi | news.ycombinator.com | 2024-02-07
Project mention: Magisk is a suite of open source software for customizing Android | news.ycombinator.com | 2023-07-13KernelSU is the replacement you are looking for.
https://kernelsu.org/
Project mention: Automated Unit Test Improvement Using Large Language Models at Meta | news.ycombinator.com | 2024-02-17https://arxiv.org/abs/2402.09171 :
> This paper describes Meta's TestGen-LLM tool, which uses LLMs to automatically improve existing human-written tests. TestGen-LLM verifies that its generated test classes successfully clear a set of filters that assure measurable improvement over the original test suite, thereby eliminating problems due to LLM hallucination. [...] We believe this is the first report on industrial scale deployment of LLM-generated code backed by such assurances of code improvement.
Coverage-guided unit test improvement might [with LLMs] be efficient too.
https://github.com/topics/coverage-guided-fuzzing :
- e.g. Google/syzkaller is a coverage-guided syscall fuzzer: https://github.com/google/syzkaller
- Gitlab CI supports coverage-guided fuzzing: https://docs.gitlab.com/ee/user/application_security/coverag...
- oss-fuzz, osv
Additional ways to improve tests:
Hypothesis and pynguin generate tests from type annotations.
There are various tools to generate type annotations for Python code;
> pytype (Google) [1], PyAnnotate (Dropbox) [2], and MonkeyType (Instagram) [3] all do dynamic / runtime PEP-484 type annotation type inference [4] to generate type annotations. https://news.ycombinator.com/item?id=39139198
icontract-hypothesis generates tests from icontract DbC Design by Contract type, value, and invariance constraints specified as precondition and postcondition @decorators:
Hi! This is Daniel from OxidOS Automotive (stating this for disclaimer purposes).
Yes, our OS is based on TockOS, and our CEO (Alex Radovici) is #7 in the contributors list (https://github.com/tock/tock/graphs/contributors), with other colleagues contributing in the past years.
https://github.com/gopherdata/gophernotes
I've had this bookmarked for some time and just havent gotten around to it.
https://github.com/armbian/build
There isn't any hypervisor running on that and still no SVE
It looks similar to u-root https://github.com/u-root/u-root, yes, used as part of host firmware. There's a description of u-root in chapter 6 of https://link.springer.com/book/10.1007/978-1-4842-7939-7, too.
Kernel related posts
- Lunatik: Lunatik is a framework for scripting the Linux kernel with Lua
- Scriptable Operating Systems with Lua [pdf]
- OxidOS Automotive
- Snapdragon 8 Gen 1's iGPU: Adreno Gets Big
- Questioning "The Value of Open Source Software"
- Saving Linux
- Custom Linux Kernel Patches for CachyOS
-
A note from our sponsor - InfluxDB
www.influxdata.com | 24 Apr 2024
Index
What are some of the best open-source Kernel projects? This list will help you:
Project | Stars | |
---|---|---|
1 | serenity | 28,519 |
2 | cilium | 18,510 |
3 | gvisor | 15,066 |
4 | reactos | 14,009 |
5 | blog_os | 13,979 |
6 | rust-raspberrypi-OS-tutorials | 12,954 |
7 | raspberry-pi-os | 12,864 |
8 | rt-thread | 9,522 |
9 | KernelSU | 8,019 |
10 | windows-kernel-exploits | 7,712 |
11 | lkmpg | 6,969 |
12 | winfsp | 6,560 |
13 | linux-network-performance-parameters | 5,305 |
14 | syzkaller | 5,124 |
15 | build-linux | 5,096 |
16 | tock | 4,971 |
17 | gophernotes | 3,766 |
18 | build | 3,673 |
19 | tetragon | 3,282 |
20 | maestro | 2,799 |
21 | Theseus | 2,734 |
22 | pwru | 2,447 |
23 | u-root | 2,430 |
Sponsored