Prex Documentation

Technical Papers

• Technology Overview
• Kernel Internals
• Power Management
• Boot Sequence
• Data Sheet

Reference Manuals

• Kernel API Reference
• Architecture Dependent Interface
• Driver Kernel Interface
• POSIX Compatibility List

Developer's Guide

• Coding Standard (Draft)
• Prex Build Guide
• Kernel Debugging Tips and Tricks
• Driver Development Guide (gomi)
• Kernel Porting Guide

User's Guide

• License
• Sample Codes
• Application Programming Guide

Platform Specific Documents

• i386 PC
• Game Boy Advance (Draft)