Chủ sở hữu
seL4
Đã lập chỉ mục 32 kho mã nguồn · Xem trên GitHub
-
seL4
The seL4 microkernel
C · 5752 star
-
l4v
seL4 specification and proofs
Isabelle · 641 star
-
rust-sel4
Rust support for seL4 userspace
Rust · 214 star
-
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Rust · 201 star
-
C · 65 star
-
sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
Python · 61 star
-
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
C · 60 star
-
seL4_tools
Basic tools for building seL4 projects
C · 55 star
-
capdl
Capability Distribution Language tools for seL4
Haskell · 44 star
-
camkes
Component Architecture test suite and example apps.
C · 36 star
-
rumprun-sel4-demoapps
Apps for running with the rumprun unikernel on seL4.
C · 34 star
-
sel4test
Test suite for seL4.
C · 34 star
-
camkes-tool
The main CAmkES tool
Python · 27 star
-
camkes-manifest
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection ...
26 star
-
camkes-vm
Virtual Machine built as a CAmkES component.
C · 25 star
-
sel4bench
sel4 benchmarking applications and support library.
C · 22 star
-
C · 20 star
-
docs
This is the source of the seL4 docs.
HTML · 19 star
-
C · 18 star
-
sel4test-manifest
Project to build and test seL4 for many different platforms
17 star
- Còn 12 kho mã nguồn nữa trên Xem trên GitHub
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
Độ 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ó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
seL4/ci-actions#524 · 2 bình luận · 1 người được giao ·
-
multikernel
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 78/100
-
Độ khó 2/5 Nửa ngày Mức phù hợp với người mới 72/100
-
aarch64: support 16-bit VMIDs Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
MCS
Độ khó 5/5 Hơn một tuần 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ó 5/5 Hơn một tuần Mức phù hợp với người mới 42/100
-
x86: TSC is not a cycle counter Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 86/100
-
multikernel
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
-
Aarch64
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100
-
arch-split
-
arch-split
-
IOMMU builds give 'WARNING: internal book keeping error. Less pagetables allocated than predicted' Đang mởx86
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/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
-
Độ 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 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
-
dot is missing from CI Đ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ó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
-
Board Support Checklist Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
RISC-V verification
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/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
-
cleanup proof engineering
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/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
-
Fix DTB tests Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100
seL4/camkes-tool#177 ·
-
needs-discussion
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
proof engineering proof tools
Độ khó 4/5 3-5 ngày 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
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.