Solnix.
A high-performance scripting language for eBPF and Linux kernel observability.
Solnix: A High-Performance eBPF Language
Solnix is a high-level scripting language for eBPF that combines safety, clarity, and efficiency.Its syntax allows precise control over kernel-level operations.
Strong Typing
Persistent kernel maps with u32/u64 validation.
Memory Safety
Enforced compile-time guard checks for pointers.
Native Speed
Compiles directly to atomic eBPF instructions.
map connection_counter {
type: .hash,
key: u32,
value: u64,
max: 1024
}
unit filter_packets {
section "kernel"
license "GPL"
reg src_ip = ctx.load_u32(26)
heap count_ptr = connection_counter.lookup(src_ip)
if guard(count_ptr) {
*count_ptr += 1
}
return 1
}Core Principles
Why Solnix?
Zero-Overhead eBPF
Compiles directly to native bytecode. No runtime, no garbage collection—just raw kernel performance.
Verifier-Safe
Built-in guard checks ensure your programs pass the Linux kernel verifier every time, preventing crashes.
High-Level Syntax
A familiar, expressive syntax that replaces complex C with readable, maintainable system-level code.
Atomic Operations
Full support for atomic maps and registers, ensuring data integrity in high-concurrency environments.