History log of /seL4-camkes-master/projects/util_libs/libplatsupport/tools/device_header_gen.py
Revision Date Author Comments
# 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.