kernel: alternative configuration #80
Open
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Kernel is configured by querying the kernel build system directly, and
kernel directory can be built independetly of autoconf.
This solves several separate issues:
that the kernel needs.
the kernel needs, but autoconf will still be picky.
directly, and not trying ot second-guess it, as this occasionally
changes.
LLVM=1 . Not done automatically for now.
Changes:
kernel/config_kernel
kernel/test_cases/
in a generated file from autoconf
The test works by creating a kernel module for each test and
building all of them with the kernel build system and with the -k
option of make and check which of them built successfully.
As an initial stage, we run a test build of a single empty module
just to be sure that the build system works.
To simplify debugging, kernel tests can be re-run separately (after
main script was run) using e.g.:
kernel/config_kernel HAVE_PUD_LEAF_MACRO