Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-09 08:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
73 Commits 32 Branches 42 Tags
0870e40954ee7c67c0ad9a80b24d3c7d9021ad56
Commit Graph

6 Commits

Author SHA1 Message Date
Max R.D. Parmer
da5ec79cf9 Use usr/bin/env for all python bangpaths to enable virtualenv use. 
Very useful with python3 as the default platform.
 2014-08-03 18:53:14 -07:00
Gerwin Klein
9711f8134f bump API version number 2014-07-27 20:42:40 +02:00
Gerwin Klein
e62d407c83 Merge branch 'getpaddr' 
Adds new system call page_getaddress.
 2014-07-18 17:37:52 +02:00
Gerwin Klein
24fa2a2998 Remove logo; clean up copyright marking. 2014-07-18 09:32:05 +02:00
Adrian Danis
2732406e98 Recomment of branch getpaddr on release snapshot 2014-07-18 15:14:00 +10:00
TrusthworthySystems
91b7da8625 Release snapshot 2014-07-18 05:03:59 +10:00