GitHub repository: org-testing/debian_kernel
Primary language: C
Description: Debian Kernel source for Tinker Board