History log of /seL4-refos-master/libs/libplatsupport/plat_include/imx8m/platsupport/plat/serial.h
Revision Date Author Comments
# 5c5375b8 02-Jul-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Added initial i.MX8M Mini EVK Platform support

This adds enough to use gpts and serial for sel4test