SeL4 Home

These wiki pages describe general steps for compiling SeL4 projects for the ODROID-XU4. Specific instructions for our own SeL4 applications can be found in the associated READMEs.

Dependencies

Dependencies for building sel4 and associated projects are described here: https://docs.sel4.systems/HostDependencies.

External Projects

• sel4test
• CAmkES Example Application

ODROID-XU4

• Deploying to the ODROID-XU4
• ODROID-XU4 Boot Details