seL4/seL4 API-master-01-03--release-2014-08-10

seL4 v1.03, release 2014-08-10

on GitHub

Open-soure release of the seL4 microkernel, API version 1.03, release 2014-08-10.

Changelog since API-master-01-03--release-2014-07-29 (no API changes):

• added CONTRIBUTORS file
• README improvements
• IFC6410 build
• remove unsupported integratorcp platform (#1)
• additional cache clean in ARM boot code
• python path cleanup; PYTHONPATH setting