History log of /seL4-test-master/projects/util_libs/libplatsupport/tools/helpers.cmake
Revision Date Author Comments
# 3e406b59 08-Oct-2020 Kent McLeod <kent@kry10.com>

platsupport: Remove cmake warning for missing file

As it isn't an error for queried files to not exist, a
warning message is a bit misleading.

Signed-off-by: Kent McLeod <kent@kry10.com>


# 831e0bd3 10-Jun-2020 Damon Lee <Damon.Lee@data61.csiro.au>

libplatsupport: Add tools to gen device headers

The new functions allow the user to input a YAML file that contains a
list of sub-devices of a particular device (GPIO pins, clocks on a
board etc), and output a C header '#define' enumeration.