seL4/microkit
Xem trên GitHubMicrokit - A simple operating system framework for the seL4 microkernel
- Star
- 201
- Fork
- 80
- Issue cho người mới đang mở
- 2
- Issue đã lập chỉ mục
- 50
- Merge trung bình
- 1 ngày 4 giờ
- Pull request đã merge (30 ngày)
- 7
- Ngôn ngữ chính
- Rust
- Giấy phép
- Không có dữ liệu giấy phép
- Lần push lên GitHub gần nhất
- 18/9/2026
- Lập chỉ mục gần nhất
- 20/9/2026
- Hướng dẫn đóng góp
- Hướng dẫn đóng góp
- Quy tắc ứng xử
- Quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Multithreading example Đang mở
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
Độ khó 2/5 Nửa ngày Mức phù hợp với người mới 72/100
-
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 86/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Enable AVX for x86 kernel Đang mở
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100
-
crt0.s suggestion Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Feature request Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 38/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
needs-discussion
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Cap Sharing Improvements Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
needs-discussion
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
needs-discussion
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
x86 1-GByte pages? Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Enable PCID for x86 kernel Đang mở
-
CI Improvements Đang mở
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Improve release workflow Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
-
needs-discussion
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
needs-discussion
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
support for distro packaging Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Output capDL spec as CDL format Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
needs-discussion
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
seL4/microkit#285 · 4 bình luận · 1 reaction · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Make `static inline` optional Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 32/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
Add 1GiB page size for AArch64 Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100