8000 Tags · offchooffcho/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: offchooffcho/seL4

Tags

3.2.0

Toggle 3.2.0's commit message 
update VERSION file to 3.2.0

3.1.0

Toggle 3.1.0's commit message 
update VERSION file to 3.1.0

1.0.0-rt-dev

Toggle 1.0.0-rt-dev's commit message 
update version of RT kernel

3.0.1

Toggle 3.0.1's commit message 
update VERSION file to 3.0.1

3.0.0

Toggle 3.0.0's commit message 
update VERSION file to 3.0.0

2.1.0

Toggle 2.1.0's commit message 
update VERSION file to 2.1.0

0.0.1-rt-dev

Toggle 0.0.1-rt-dev's commit message 
Merge branch 'rt' of ssh://bitbucket:7999/sel4/sel4 into rt

2.0.0

Toggle 2.0.0's commit message 
update VERSION file to 2.0.0

1.0.4

Toggle 1.0.4's commit message 
update VERSION file to 1.0.4

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

Toggle API-master-01-03--release-2014-08-10's commit message 
Intermediate release.

Changelog:
 - added CONTRIBUTORS file
 - README improvements
 - IFC6410 build
 - remove unsupported integratorcp platform (seL4#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).
0