Commit Graph

5 Commits

Author SHA1 Message Date
j1nx 2525c95609 Fix and adjust the HAOS linux-dotkernel-config script for us 2024-02-08 12:21:06 +00:00
Jan Čermák b89f5e3322 Also check kernel custom config file in linux-check-dotconfig (#3126)
If BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE is set, it should be also checked
by the script for checking that all kernel options are applied.
2024-02-08 09:28:23 +00:00
Jan Čermák d2059c5531 Add script for checking resulting kernel config (#3006)
There is bunch of kernel config options that are not propagated
correctly to the kernel configuration after fragments are merged
and processed by Kconfig. Current Buildroot tools are not good at
discovering these - while we cleaned up most inconsistencies by using
linux-diff-config and output from the merge_config.sh script, there
are still options that were removed or get a different value than
intended because of dependencies, etc.

This commit adds a Python script that is using Kconfiglib to parse
current kernel's Kconfig files and the generated .config and compare
the requested values from individual kernel config fragments. The
script can be used manually by running `make linux-check-dotconfig`
from the buildroot directory (with path to BR2_EXTERNAL directory set)
and it's called also from the CI, where it generates Github Workflow
warning annotations when some of the values are not present or when set
incorrectly.

The kconfiglib.py is checked-in to the repo as well, because the library
is currently abandoned on PyPI and packaged version has a bug that causes
errors parsing Kconfigs in newer Linux versions, fixed in outstanding
pull request ulfalizer/Kconfiglib#119 - so version from this PR is used
here.

If pypi/support#2526 is ever resolved, we could remove it from our repo
and use pip for installing the package as a requirement during build
of the build container.
2024-02-08 09:20:36 +00:00
j1nx cea47b56c2 Start with rebranding to OpenVoiceOS (OVOS). 2020-10-06 21:23:38 +02:00
Peter Steenbergen b8aed86e23 MycroftOS: Initial buildroot-external setup 2018-10-26 15:43:30 +02:00