History log of /seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/serial.h
Revision Date Author Comments
# 3f9cdc14 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

util_libs: remove autoconf.h from util_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# e12c0245 31-Oct-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Split nvidia definitions into plat

This is in preparation for the tx2 build which has the same devices but
with different interrupt and address mappings.


# a7130f9f 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

fix licenses


# 021ed1ce 15-Feb-2017 amrzar <azarrabi@nicta.com.au>

libplatsupport: add tx1 platform


# 08b306d2 15-Feb-2017 amrzar <azarrabi@nicta.com.au>

libplatsupport: create mach folder for nvidia machines