Intermediate release.

Changelog:

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

This signature certifies that the commits under this tag are the same as
in the internal NICTA repositories (up to sha1 collisions).

Intermediate release (experimental branch).

Changelog:

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

This signature certifies that the commits under this tag are the same as
in the internal NICTA repositories (up to sha1 collisions).

seL4 open-source release on 29 July 2014 (experimental branch).

This signature certifies that the commits under this tag are the same as
in the internal NICTA repositories (up to sha1 collisions).

seL4 open-source release on 29 July 2014.

This signature certifies that the commits under this tag are the same as
in the internal NICTA repositories (up to sha1 collisions).