Improvements to porting page
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 42/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Đình trệ
- Lĩnh vực
- documentation
Hướng nghiên cứu
Start with the existing porting page and the linked mailing-list feedback. Document development-environment setup, a step-by-step ARM port example, standalone kernel builds, the Microkit porting section, and the expected x86 behavior; the checklist is complete when each requested guidance item is covered.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Based of feedback from the mailing list.
- Include a link for getting development environment setup.
- Include step by step example for how to do the port, maybe taking a recently added port as an example and walking through the diff. For this it would be worth doing an ARM board port since RISC-V is almost the exact same process with fewer changes need (things like timer/serial driver go through SBI so they're not necessary to port on RISC-V platforms as one example).
- There should be instructions on how to build a standalone kernel so users can check that the kernel builds before trying to deal with sel4test.
- Maybe a link to Microkit's porting section in the manual.
- Is it worth mentioning at least that x86 platforms should 'just work' in case someone is wondering about that?
These are things I can think of right now, I will add to this list (or others can) if more comes to mind.
- 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ó 1/5 Dưới một giờ Mức phù hợp với người mới 55/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
Issue tương tự
-
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
-
documentation
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
githubnext/gh-aw-workshop#5193 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
[oblt-aw][autodoc] Document new required `shared-org-key` input for `obs-aw-dependency-review`Có thể đã có người làm @github-actions đã nhận hôm nay. Đang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100
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 62/100
calcit-lang/caps#16 ·
-
agent bug
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 88/100