seL4

microkernel SEL4

โครงการนี้มีซอร์สโค้ดของ SEL4 microkernel

สำหรับรายละเอียดเกี่ยวกับ SEL4 microkernel รวมถึงรายละเอียดเกี่ยวกับการพิสูจน์ความถูกต้องอย่างเป็นทางการโปรดดูเว็บไซต์ sel4.systems และคำถามที่พบบ่อยที่เกี่ยวข้อง

Dois สำหรับการอ้างถึงรีลีสล่าสุดของที่เก็บนี้:

เรายินดีต้อนรับการมีส่วนร่วมของ SEL4 โปรดดูเว็บไซต์สำหรับข้อมูลเกี่ยวกับวิธีการมีส่วนร่วม

ที่เก็บนี้มักจะไม่ได้ใช้ในการแยก แต่เป็นส่วนหนึ่งของระบบการสร้างในโครงการขนาดใหญ่

พื้นฐาน SEL4

• บทเรียน
• เอกสาร
• ห้องสมุด SEL4
• sel4test
• คู่มือการดีบัก
• คู่มือการเปรียบเทียบ
• การจำลองเสมือนจริงใน SEL4
• การพึ่งพาการสร้างโฮสต์
• พอร์ต SEL4

ชุมชน

• ฟอรัม:
  • วาทกรรม
  • SEL4 ประกาศ
  • sel4 devel
• โครงการที่แนะนำ
• โครงการชุมชน

ดูลิงค์ติดต่อบนเว็บไซต์ SEL4 สำหรับรายการทั้งหมด

การรายงานช่องโหว่ด้านความปลอดภัย

หากคุณเชื่อว่าคุณพบช่องโหว่ด้านความปลอดภัยใน SEL4 หรือซอฟต์แวร์ที่เกี่ยวข้องเราขอให้คุณปฏิบัติตามนโยบายการเปิดเผยข้อมูลช่องโหว่ของเรา

คู่มือ

คู่มือที่โฮสต์สำหรับการเปิดตัวล่าสุดสามารถพบได้ที่นี่

สามารถพบ API เวอร์ชันเว็บได้ที่นี่

ภาพรวมที่เก็บข้อมูล

• include และซอร์สโค้ด src : C และ ASM ของ SEL4
• tools : สร้างเครื่องมือ
• libsel4 : การผูก c สำหรับ SEL4 ABI
• manual : แหล่งที่มาของคู่มือการอ้างอิง SEL4

สร้างคำแนะนำ

ดูเว็บไซต์ SEL4 สำหรับคำแนะนำในการสร้าง

สถานะ

รายการของการเผยแพร่และสถานะโครงการปัจจุบันสามารถพบได้ภายใต้การเผยแพร่ SEL4

• Roadmap: คุณสมบัติใหม่ในการพัฒนา
• การสนับสนุนฮาร์ดแวร์: ข้อมูลเกี่ยวกับพอร์ตแพลตฟอร์มฮาร์ดแวร์
• คุณสมบัติเคอร์เนล: ข้อมูลเกี่ยวกับคุณสมบัติเคอร์เนลที่มีอยู่
• ส่วนประกอบและไดรเวอร์ Userland: ไดรเวอร์อุปกรณ์ที่มีอยู่และส่วนประกอบ Userland

ใบอนุญาต

ดู File License.md