From a48d7b112fa85fc42e6c2b38751b28da9f389f12 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sat, 17 Jun 2023 23:11:41 +0800
Subject: [PATCH] [add device]: (#650)

has been added to the website.
Related issue: https://github.com/tiann/KernelSU/issues/644

Co-authored-by: GitHub Actions <41898282+github-actions[bot]@users.noreply.github.com>
---
 website/docs/repos.json | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/website/docs/repos.json b/website/docs/repos.json
index 80467e8a..eb5c5e1f 100644
--- a/website/docs/repos.json
+++ b/website/docs/repos.json
@@ -341,5 +341,12 @@
         "kernel_name": "android_kernel_samsung_exynos9610_mint",
         "kernel_link": "https://github.com/rushiranpise/android_kernel_samsung_exynos9610_mint",
         "devices": "Kernel 4.14.194 exynos9610 Non-GKI Device, Added KernelSu using manual method"
+    },
+    {
+        "maintainer": "CN-Scars",
+        "maintainer_link": "https://github.com/CN-Scars",
+        "kernel_name": "pixel_experience_kernel_xiaomi_sm8250_kernelSU",
+        "kernel_link": "https://github.com/CN-Scars/pixel_experience_kernel_xiaomi_sm8250_kernelSU",
+        "devices": "Pixel Experience Kernel 4.19.282 for Xiaomi Redmi K40S / Xiaomi Poco F4 (munch)"
     }
-]
+]
\ No newline at end of file