| #
e653f3f9 |
|
02-Dec-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX
Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
| #
5f16cdd0 |
|
05-May-2019 |
Damon Lee <Damon.Lee@data61.csiro.au> |
trivial: Style changed files
|
| #
f727534b |
|
02-May-2019 |
Damon Lee <Damon.Lee@data61.csiro.au> |
aeroplage: Update to use platsupport IO code
Instead of using the interfaces that are no longer provided by the
seL4HardwareIOPort conenctor, this commit updates the IO port code to
use the libplatsupport abstractions.
|
| #
152593c2 |
|
23-Nov-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
sel4keyboard: Change library function namespace
keyboard_* was colliding with other symbols. This changes the symbol
names to follow sel4keyboard_* pattern.
|
| #
d03717c5 |
|
04-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Rexpand licenses
|
| #
9e00d2dc |
|
04-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Licenses: s/NICTA_BSD/DATA61_BSD
|
| #
73257ba4 |
|
04-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Unexpand licenses
|
| #
1bc14f80 |
|
31-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Fix licence headers.
|
| #
b3452eae |
|
10-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Initial import of example applications.
The original port of these example applications from the 'master' branch of
CAmkES was done in https://github.inside.nicta.com.au/mfernandez/project.
|