#
ef94b463 |
|
06-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
clarify license for generated headers Invocation and syscall headers are generated and provided under BSD-2-Clause for user code and GPL-2.0-only for kernel code. To facilitate people other than the copyright holder performing this operation, the master files are provided under both (BSD or GPL, free to choose).
|
#
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX identifiers This commit also converts our own copyright headers to directly use SPDX, but leaves all other copyright header intact, only adding the SPDX ident. As far as possible this commit also merges multiple Data61 copyright statements/headers into one for consistency.
|
#
bc61a7f3 |
|
24-Jun-2019 |
Anna Lyons <anna@gh.st> |
python2 --> python3 Update all scripts and build system to call python3, given python2's upcoming doom. Use sys.maxsize instead of sys.maxint in one script (maxint does not exist in python3).
|
#
cf57914c |
|
26-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: run autopep8 on python files
|
#
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
|