kernel-guard@server:~
>
从发布到运行时的安全
BPFCompat 在用户实际运行的内核上测试已编译的 eBPF 工件和真实加载器,把兼容性假设转化为可执行证据,从而强化部署前的安全保障。
AegisBPF 通过内核级策略执行、限定范围的策略控制和结构化安全事件覆盖运行时侧。Linux 和 eBPF 是技术层;Kernel Guard 在此基础上构建更广泛、可验证的网络安全基础设施。
SECURITY // 公开证据
安全证据,而不是表面指标
与已交付的安全工程和公开 upstream 工作直接相关的证据。
2
已合并的 upstream 集成
BPFCompat 兼容性流水线已合并到 Falco 和 Inspektor Gadget。
QEMU/KVM
真实内核验证
一次性 QEMU/KVM 虚拟机运行真实厂商内核,而不是依赖静态版本推断。
x86_64 + ARM64
架构覆盖
兼容性验证覆盖 x86_64 和 ARM64。
SLSA
供应链证据
带标签的发布包含签名、CycloneDX SBOM 和 SLSA provenance。
Falco + Inspektor Gadget 已合并到 upstream
Real vendor kernels 兼容性执行
Signed · SBOM · provenance 发布证据
页面中点名的生态项目表示集成关系,并不表示客户关系。
增长内容
与真实服务相连接的实用安全内容。
文章回答搜索问题。服务页面把这种关注转化为面向需要实现支持团队的清晰下一步。
安全工程技术栈
支撑兼容性保障、运行时策略执行和网络安全基础设施的系统技术。
Linux
eBPF
libbpf
Go
C++
QEMU/KVM
Kubernetes
CO-RE
BPF LSM
GitHub Actions
Linux
eBPF
libbpf
Go
C++
QEMU/KVM
Kubernetes
CO-RE
BPF LSM
GitHub Actions
工程原则
证据优先
优先采用真实内核上的测量行为,而不是版本推断。
Runtime Truth
尽可能接近软件真实执行环境进行验证和 enforcement。
开放技术审查
核心工具、限制和工程证据保持可独立审查。