History log of /seL4-refos-master/kernel/libsel4/sel4_plat_include/imx8mm-evk/sel4/plat/api/constants.h
Revision Date Author Comments
# 512a0200 19-Mar-2020 Qian Ge <qian.ge@data61.csiro.au>

replacing all ifndef with pargma once

All the kernel header files now use pargma once rather than the ifndef,
as the pre-processed C files do not change while header files
are protected with pargma once. This will also solve any naming issues
caused by ifndef.


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


# a368e642 09-Jul-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

imx8mq-evk: initial support for aarch32


# 051d32be 26-Mar-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add initial i.MX8M Quad evk 64-bit Support

This adds support for the 64-bit i.MX8M Quad evaluation kit.
Currently only AArch64 EL1 is supported.