Pinned Loading

1. CruelKernel/samsung-exynos9820 CruelKernel/samsung-exynos9820 Public

   Unified kernel tree for S10 and Note10 devices

   C 107 293

2. verker verker Public archive

   Linux kernel library functions formally verified.

   C 48 7

3. cvehound cvehound Public

   Check linux sources dump for known CVEs.

   SmPL 127 16

4. ldv-rules ldv-rules Public archive

   Rules for LDV project (http://linuxtesting.org/project/ldv).

   C 6

5. adb_root adb_root Public

   Magisk Module that allows you to run "adb root". Android 10 only. Probably will work with Android 9. Definitely not with Android 11/12.

   Makefile 448 76

6. spec-utils spec-utils Public

   A number of utilities for writing ACSL specifications for a Linux module.

   Perl 10 3