Framework for running BPF programs with rules on Linux as a daemon. Container aware.

Stable Diffusion web UI

GitHub mirror of the SELinux kernel repository

Rockchip rk3588(s) Technical Reference Manual and Datasheet

github

新一代SKRoot，完美隐藏root功能，挑战全网root检测手段，实现真正的SELinux 0%触碰、无挂载，通用性强，通杀所有内核，不需要内核源码，直接patch内核，兼容安卓APP直接JNI调用，稳定不闪退。

BSP kernel source

EDK2 UEFI firmware for Rockchip RK3588 platforms

This is a backup

T20Pro（RK3588S）设备树，后期可能会和T30P/U的设备树进行dtb融合以达成三机通用

瑞莎radxa rock5b开发板

[SOSP'25] Automatic checker synthesis for system-level static analysis

Linux desktop application designed to monitor various aspects of your computer's hardware.

kdev-rockchip

nvme driver for those former systems which have no inbox nvme driver

记录编程所需的基础知识体系,侧重于Linux

Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files

在线云盘、网盘、OneDrive、云存储、私有云、对象存储、h5ai、上传、下载

This project aims to build an Embedded Linux System, in order to analyze the chip from the power-on execution of the first instruction to the entire system running, based on qemu simulator developm…

A small build system for the live filesystem included on Ubuntu desktop CDs.

Ubuntu for Rockchip RK35XX Devices

Customized version of the Linux kernel maintained by Armbian team to support Rockchip SoCs

Ubuntu Rockchip Kernel Source

Ubuntu for Rockchip RK35XX Devices

Ubuntu for Rockchip RK35XX Devices

Android TV Client for Jellyfin

九鼎创展 Live3588v4.0 开发板

A Linux Host-based Intrusion Detection System based on eBPF.