History log of /seL4-camkes-master/projects/camkes/apps/simplesingleaddressspace/interfaces/Simple.idl4
Revision Date Author Comments
# 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>


# 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.