Revert "ci: use ddk for faster ci, manual gki image build"

This reverts commit 33d1f18395.
2025-11-03 03:49:56 +08:00
parent 2433d64b6b
commit 59339b806a
22 changed files with 258 additions and 1064 deletions
--- a/kernel/.vscode/c_cpp_properties.json
+++ b/kernel/.vscode/c_cpp_properties.json
@@ -1,11 +0,0 @@
-{
-    "configurations": [
-        {
-            "name": "Linux",
-            "cStandard": "c11",
-            "intelliSenseMode": "gcc-arm64",
-            "compileCommands": "${workspaceFolder}/compile_commands.json"
-        }
-    ],
-    "version": 4
-}