History log of /seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx8m/chardev.c
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