docker/riscv/trixie: Add build-kernel target#22
Merged
Conversation
b4683ed to
8ad141f
Compare
|
@baptleduc I would rename |
Contributor
Author
To be sync with XEN_HOST variable but, yes both can be renamed. I used these names to refer the idea of "local git worktree". But yes SRC is certainly better |
65eed53 to
7bff2d0
Compare
- build-kernel cross-compiles Image.gz via tuxmake/riscv_gcc-14, so no local RISC-V toolchain is needed. - KERNEL is now validated at parse time to fail when indicated path is wrong. - Dockerfile KERNEL_IMAGE_TAG is parameterized for easier overrides. - XEN_HOST has been renamed to XEN_SRC in config.mk. Signed-off-by: Baptiste Le Duc <baptiste.le-duc@vates.tech>
7bff2d0 to
057813f
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Adds a
build-kerneltarget that cross-compilesImage.gzfrom a Linux source tree usingtuxmake/riscv_gcc-14in Docker. No local RISC-V toolchain required.make build-kernel KERNEL_SRC=$(HOME)/path/to/linuxThe resulting binary can then be used via the existing
KERNELvariable to override the bundled kernel at boot time.