History log of /seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/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


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

Added initial i.MX8M Quad EVK Platform support

This adds enough to use gpts and serial for sel4test


# 1a2196fc 04-Sep-2017 Yanyan Shen <yanyan.shen@data61.csiro.au>

plat/imx7: correct default UART port


# fd0e2d06 24-Aug-2017 Yanyan Shen <yanyan.shen@data61.csiro.au>

plat/imx7: add initial support for imx7 SoC