#
1dd8015d |
|
12-Jun-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
tools: State jinja2 version Provides a graceful error when jinja2 is the wrong version
|
#
e281a47b |
|
12-Jun-2018 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Remove references to unused tempita library
|
#
18744500 |
|
12-Jun-2018 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
tools: Fix whitespace differences in header gen
|
#
004891f4 |
|
11-Jun-2018 |
Summer Li <Summer.Li@data61.csiro.au> |
libsel4: change tempita to jinja2
|
#
64cf2308 |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
tools: fix licenses
|
#
07f94833 |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
libsel4: fix licenses - some were incorrectly marked GPL (libsel4 is BSD) - update NICTA --> DATA61 etc - fix tags D61 --> DATA61 - update year to 2017
|
#
4bfa5bb9 |
|
02-Jan-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
tools: Correct case where label numbers will be 0 If `seL4_arch_invocations` is an empty list, this will cause `nSeL4ArchInvocationLabels` to be declared as 0, rather than `nInvocationLabels` as intented. This change correctly respects the behaviour of the 'first' variable, and does an explicit assignment to `nSeL4ArchInvocationLabels` should it be the first (and only) member of the enum. Closes #53
|
#
ee75f086 |
|
16-Oct-2016 |
amrzar <azarrabi@nicta.com.au> |
update #ifdef to #if in auto generated files
|
#
cf8be663 |
|
15-Jun-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
tools: Remove arithmetic in invocation generation If invocations are hidden behind config guards the count of how many invocations there are will be wrong. The C compiler will correctly assign the value with enum auto numbering, so there's no need to override that here
|
#
9fca296f |
|
15-Jun-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
tools: emit error if first invocation conditional Placing a config condition on the first define in sel4arch.xml will fail as currently the first define must start at the last define + 1 of the previous invocation enum. If this is ever required, autoconf.h will need to be passed to the script so it can check config variables itself.
|
#
73837c8a |
|
15-Jun-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
tools: add conditional invocation label defines
|
#
85adf1ff |
|
15-Jun-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
tools: add conditional invocation label defines
|
#
36e8b1d4 |
|
21-Jan-2016 |
Corey Richardson <corey.richardson@nicta.com.au> |
tools: invocation_header_gen: python3 compat
|
#
12348922 |
|
21-Jan-2016 |
Corey Richardson <corey.richardson@nicta.com.au> |
tools: invocation_header_gen: remove trailing whitespace
|
#
2dd0a4d5 |
|
12-Jan-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4: Explicitly generate number of invocation labels to handle case where there are no invocations
|
#
44a522dc |
|
18-Aug-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4: Generate libsel4 definitions from the current ARCH as well as the SEL4_ARCH
|
#
da5ec79c |
|
03-Aug-2014 |
Max R.D. Parmer <maxp@trystero.is> |
Use usr/bin/env for all python bangpaths to enable virtualenv use. Very useful with python3 as the default platform.
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|