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ự
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 82/100
mfreed7/xslt_polyfill#65 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
Maintainer thường phản hồi trong vòng 1 ngày
-
documentation
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Deltares/webgl-streamline-visualizer#64 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
docs(prompts): local-forge prompt says the launcher lands the branch as-is, but it rebases itĐang mởagent-butler-finding bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
jordansmall/spindrift#6236 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Mission statement: why this is free, in the README, Why This Exists and the wiki HomeCó thể đã có người làm @ChiefGyk3D đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
ChiefGyk3D/Clouds-Against-Humanity#348 ·
Maintainer thường phản hồi trong vòng 1 ngày