History log of /seL4-camkes-master/projects/seL4_projects_libs/libsel4dma/src/dma.c
Revision Date Author Comments
# 745291ce 27-Nov-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert to SPDX license tags

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# 3fbf6e8d 16-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: style fix

make the style checker happy
# 62ea8cce 05-Jun-2018 Adam Felizzi <a.felizzi@student.unsw.edu.au>

Autoconf: Updated libs to use config variables

Updated libsel4arm-vmm and libsel4dma to use config
variables from autoconf/Configuration.
# e9b261c4 31-Aug-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Fix licenses