Update kconfiglib to use sysprog21/Kconfiglib fork

Co-authored-by: BernardXiong <1241087+BernardXiong@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot]
2025-10-25 01:17:02 +00:00
parent f6272a2661
commit 30be0be690
4 changed files with 14 additions and 2 deletions

View File

@@ -91,7 +91,7 @@ jobs:
run: |
sudo apt-get update
sudo apt-get -yqq install scons qemu-system git
pip3 install kconfiglib
pip3 install git+https://github.com/sysprog21/Kconfiglib
- name: Install ToolChains
shell: bash

View File

@@ -742,6 +742,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
# CONFIG_PKG_USING_RVBACKTRACE is not set
# CONFIG_PKG_USING_HPATCHLITE is not set
# CONFIG_PKG_USING_THREAD_METRIC is not set
# CONFIG_PKG_USING_UORB is not set
# end of tools packages
#
@@ -836,6 +837,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
# CONFIG_PKG_USING_R_RHEALSTONE is not set
# CONFIG_PKG_USING_HEARTBEAT is not set
# CONFIG_PKG_USING_MICRO_ROS_RTTHREAD_PACKAGE is not set
# CONFIG_PKG_USING_CHERRYECAT is not set
# end of system packages
#
@@ -992,6 +994,12 @@ CONFIG_RT_PAGE_MAX_ORDER=11
# CONFIG_PKG_USING_GD32_ARM_CMSIS_DRIVER is not set
# CONFIG_PKG_USING_GD32_ARM_SERIES_DRIVER is not set
# end of GD32 Drivers
#
# HPMicro SDK
#
# CONFIG_PKG_USING_HPM_SDK is not set
# end of HPMicro SDK
# end of HAL & SDK Drivers
#

View File

@@ -418,6 +418,10 @@
/* GD32 Drivers */
/* end of GD32 Drivers */
/* HPMicro SDK */
/* end of HPMicro SDK */
/* end of HAL & SDK Drivers */
/* sensors drivers */

View File

@@ -1,5 +1,5 @@
scons>=4.0.1
requests>=2.27.1
tqdm>=4.67.1
kconfiglib>=13.7.1
kconfiglib @ git+https://github.com/sysprog21/Kconfiglib
PyYAML>=6.0