| #
19c9d5df |
|
16-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
Trivial: style fix
make the style checker happy
|
| #
c12bb3fb |
|
22-May-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
camkes-tool: explicitly include gen_config.h
explicitly include gen_config.h since there is going to be
no more global configuration lib
|
| #
5567ea08 |
|
12-Oct-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
sel4camkes: Rename sel4bench_counter_t to ccnt_t
This type from libsel4bench was renamed.
|
| #
4d49a772 |
|
10-Aug-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
libsel4camkes: move #ifdef higher up in file
This prevents compilation errors when libsel4bench isn't being used
|
| #
8b2ec3e6 |
|
20-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
8dff1c71 |
|
06-Jun-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
s/unsigned int/unsigned; Why use 12 characters when 8 will do?
This commit cherry-picks 6f50d5e0ebf0d97665edc77a23c5f280d9dd8e6d from
ssh://github.inside.nicta.com.au/mfernandez/project.
|
| #
bacfebce |
|
27-Oct-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Refactored parser init commit.
|
| #
cc64bb50 |
|
21-Jul-2014 |
TrustworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|