srett
80-bit floats support on x86_64 for Valgrind
a project by mfranc
Project Description
Valgrind currently lacks support for 80-bit extended precision floating point arithmetic on x86_64 (long double). The current implementation uses 64-bit arithmetic instead, which means that programs running on x86_64 with "long double" give different results when running under Valgrind and natively. People were asking for support for this since like forever, but to date nobody went on implementing it. It's a project for a year, unless somebody has time to work on it full time, but one has to start somewhere. :-)
The Missing Middle: Add an intermediate brightness setting for auxiliary LEDs in Andúril 2
a project by gkenion
Project Description
Andúril is an open-source firmware for LED flashlights, which runs on several versions of ATtiny chip. It provides advanced functionality like configurable modes, brightness ramping, safety lockout, etc. via a UI controlled by a single button.
Avahi Integration and Network Connection
a project by vojha
Avahi Integration and Network Connection
Project Description
early stage kdump support
a project by mbrugger
Project Description
When we experience a early boot crash, we are not able to analyze the kernel dump, as user-space wasn't able to load the crash system. The idea is to make the crash system compiled into the host kernel (think of initramfs) so that we can create a kernel dump really early in the boot process.
Model checking the BPF verifier
a project by shunghsiyu
Project Description
BPF verifier plays a crucial role in securing the system (though less so now that unprivileged BPF is disabled by default in both upstream and SLES), and bugs in the verifier has lead to privilege escalation vulnerabilities in the past (e.g. CVE-2021-3490).
Authenticated hashes for BTRFS
a project by dsterba
Project Description
Implement a checksum algorithm for BTRFS that uses and authenticated (keyed) hash. There are 2 cryptographically secure hashes supported by btrfs, sha256 and blake2b.
SMTGCC
a project by fkastl
Project Description
There's a project experimenting with verifying GCC optimizations using SMT solvers. Currently there is only one person working on this project. Analyzing compilers with SMT solvers seems like a cool new topic to me. Let's see how we could help.
Tungsten: A low-level LLVM programming language
a project by mfriedrich
Project Description
> Tungsten is supposed to be a memory-safe and type-safe language front-end for LLVM which borrows many elements from C and C# syntax.
Activity