Skip to content

build-framework: fix UBOOT_MIRROR default and add denx #1673

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
igorpecovnik merged 2 commits into from
Oct 23, 2026
Merged

build-framework: fix UBOOT_MIRROR default and add denx #1673

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
53d0709
build-framework: fix UBOOT_MIRROR default and add denx
igorpecovnik Oct 23, 2026
fbb82be
build-framework: fix USE_GITHUB_UBOOT_MIRROR description
igorpecovnik Oct 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions docs/build-framework/switches/proxies-mirrors.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ Fetches mainline kernel sources from the `googlesource.com` mirror instead of th

`string` · default: `no`

Fetches mainline U-Boot sources from an unofficial GitHub mirror instead of the official `git.denx.de`. Off by default; enable it when the DENX server is slow or unreachable from your location, since GitHub is often faster and more reliable. This is a shorthand for `UBOOT_MIRROR=github`.
Legacy shorthand for `UBOOT_MIRROR=github`. The GitHub mirror is already the default. Set it to `yes` to force GitHub over any `UBOOT_MIRROR` value, including the `gitee` mirror from `REGIONAL_MIRROR=china`.

#### DOWNLOAD_MIRROR

Expand Down Expand Up @@ -52,11 +52,11 @@ Selects which mirror of `linux-stable.git` the mainline kernel sources are clone

`string`

Selects which mirror of `u-boot.git` the mainline U-Boot sources are cloned from. Leave it empty to use the official `source.denx.de`; pick one of the mirrors below when the DENX server is slow for you, as it commonly is for users in mainland China.
Selects the `u-boot.git` source for mainline U-Boot (`MAINLINE_UBOOT_SOURCE`).

- `github`: use the mirror provided by GitHub, the same as `USE_GITHUB_UBOOT_MIRROR=yes`
- `gitee`: use the mirror provided by Gitee, a Chinese Git service
- leave empty to use the official `source.denx.de`, which may be very slow for mainland China users
- empty (default) or `github`: the GitHub mirror, under `GITHUB_SOURCE`
- `gitee`: the Gitee mirror, for users in mainland China
- `denx`: the official upstream, `git.u-boot-project.org`. `source.denx.de` redirects there.
Comment thread
coderabbitai[bot] marked this conversation as resolved.

#### GITHUB_MIRROR

Expand Down
Loading