Iris Kernel Documentation

• Iris Kernel Overview - Kernel design overview and long-term goals
• Development Plan - Kernel development plan
• Driver Interface - Driver Interface Design
• Initrd - Initrd Design
• Interrupts - Interrupt Handling Design
• Memory Allocation - Memory Management Design
• Scheduler - Scheduler Design
• Security - Security Design
• Synchronization Primitives - Synchronization Design
• System Call Interface - System Call Interface Design and ABI
• Task Model - Task Model Design
• Virtual File System - Virtual File System Design