summaryrefslogtreecommitdiff
path: root/src/drivers/gic
diff options
context:
space:
mode:
authorFurquan Shaikh <furquan@google.com>2018-06-21 18:44:32 -0700
committerPatrick Georgi <pgeorgi@google.com>2018-06-25 08:55:39 +0000
commit39ac797eda2563c164624f8be142605d4ff4a029 (patch)
tree11e09c677919cc96da28d1cb6ad744b79d92d352 /src/drivers/gic
parentf0c50b0e4ba1722c2eeafd75a4c836d0643c888d (diff)
util/sconfig: Enable parsing of override device tree
This change allows sconfig utility to accept an extra optional parameter to specify override device tree that can be used to override the properties or add new devices in addition to that provided by base device tree. This is helpful for variants that share most of the devicetree but have to override certain registers or add some devices which might not be applicable to base devicetree. In order to support the override devicetree, following changes are made in this CL: 1. override_root_dev and override_root_bus are provided. 2. main() function is updated to accept an optional argument. 3. If override device file is provided, then parse_devicetree is called for override_devtree as well. This change in itself does not provide the override feature. It is only a small step towards the final goal. The override devicetree parsed by sconfig is currently unused. BUG=b:80081934 Change-Id: I477e038c8922ae1a9ed5d8bf22a5f927a19a69c7 Signed-off-by: Furquan Shaikh <furquan@google.com> Reviewed-on: https://review.coreboot.org/26689 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Diffstat (limited to 'src/drivers/gic')
0 files changed, 0 insertions, 0 deletions