Raspberry PI 3 experimental port tutorial command "fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837" is wrong
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 1/5
- Thời gian dự kiến
- Dưới một giờ
- Mức phù hợp với người mới
- 55/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Đặc tả rõ ràng
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- raspberry-pi
- Lĩnh vực
- documentation, embedded-iot
Hướng nghiên cứu
Open the Hardware/Rpi3.html tutorial and compare its U-Boot command with the reported output and ELF file name. Confirm the corrected command on Raspberry Pi 3, update the tutorial, and verify that the documented sequence no longer produces the reported bootelf error.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Hi,
even if this port it is experimental, would be nice to have this tutorial fixed to avoid other people frustration.
The command "fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837" in "https://docs.sel4.systems/Hardware/Rpi3.html" is wrong and gives this output:
U-Boot> fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837
reading sel4test-driver-image-arm-bcm2837
3412496 bytes read in 312 ms (10.4 MiB/s)
U-Boot> bootelf 0x10000000
No elf image at address 0x10000000
The right command is:
U-Boot> fatload mmc 0 0x10000000 elfloader
reading elfloader
3533836 bytes read in 356 ms (9.5 MiB/s)
U-Boot> bootelf 0x10000000
(...)
Starting application at 0x014a2000 ...
ELF-loader started on CPU: ARM Ltd. Cortex-A53 r0p4
(...)
Enabling MMU and paging
Jumping to kernel-image entry point...
file command confirms: elfloader: ELF 32-bit LSB executable, ARM, EABI5 version 1 (SYSV), statically linked, with debug_info, not stripped
"elfloader" can be found at "/cbuild/elfloader/elfloader".
Best,
- Ngôn ngữ chính
- HTML
- Star
- 19
- Fork
- 67
- Merge trung bình
- 21 giờ 12 phút
- Pull request đã merge (30 ngày)
- 4
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của seL4/docs
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 62/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
CI
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
CI
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Improvements to porting pageĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
Issue tương tự
-
Cleanup SetupCó thể đã có người làm @AlexanderKaran đã nhận hôm nay. Đang mởdocumentation enhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 64/100
e18e/framework-tracker#769 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
fix(docker): correct stale --db-path comments in fetch/git Dockerfiles and clarify git READMEĐang mởbug v2
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 88/100
modelcontextprotocol/servers#5483 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
simonw/sqlite-utils#928 ·
Maintainer thường phản hồi trong vòng 3 ngày
-
agentic-workflows automation repo-assist
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 85/100
shanselman/winget-tui#483 ·
Maintainer thường phản hồi trong vòng 2 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100
griptape-ai/griptape-nodes-library-elevenlabs#30 ·
Maintainer thường phản hồi trong vòng 1 ngày