seL4

Microkernel sel4

Proyek ini berisi kode sumber Microkernel Sel4.

Untuk perincian tentang Microkernel Sel4, termasuk detail tentang bukti kebenaran formal, silakan lihat situs web sel4.systems dan FAQ terkait.

DOIS untuk mengutip rilis terbaru dari repositori ini:

Kami menyambut kontribusi untuk Sel4. Silakan lihat situs web untuk informasi tentang cara berkontribusi.

Repositori ini biasanya tidak digunakan secara terpisah, tetapi sebagai bagian dari sistem pembuatan dalam proyek yang lebih besar.

Dasar -dasar Sel4

• Tutorial
• Dokumentasi
• Perpustakaan Sel4
• sel4test
• Panduan Debugging
• Panduan Benchmarking
• Virtualisasi pada Sel4
• Tuan rumah membangun dependensi
• Porting sel4

Masyarakat

• Forum:
  • Ceramah
  • Sel4 mengumumkan
  • sel4 devel
• Proyek yang disarankan
• Proyek Komunitas

Lihat tautan kontak di situs web Sel4 untuk daftar lengkap.

Melaporkan kerentanan keamanan

Jika Anda yakin telah menemukan kerentanan keamanan di SEL4 atau perangkat lunak terkait, kami meminta Anda untuk mengikuti kebijakan pengungkapan kerentanan kami.

Manual

Versi manual yang di -host untuk rilis terbaru dapat ditemukan di sini.

Versi web API dapat ditemukan di sini

Tinjauan Repositori

• include dan src : C dan ASM Sumber Kode Sel4
• tools : Bangun Alat
• libsel4 : c binding untuk sel4 abi
• manual : Sumber Lateks Manual Referensi Sel4

Bangun instruksi

Lihat situs web SEL4 untuk membangun instruksi.

Status

Daftar rilis dan status proyek saat ini dapat ditemukan di bawah Rilis Sel4.

• Roadmap: fitur baru dalam pengembangan
• Dukungan Perangkat Keras: Informasi tentang Port Platform Perangkat Keras
• Fitur Kernel: Informasi tentang fitur kernel yang tersedia
• Komponen dan driver Userland: Driver perangkat yang tersedia dan komponen Userland

Lisensi

Lihat lisensi file.md.