<flokli>
wow, DTBs are wild. both linux and uboot first run the preprocessor with some magic flags on each dts file, because they didn't bother adding support for includes to dtc itself
2020-02-03
<srk>
dtc needs DTC_FLAGS='-@' to generate symbols so overlays can be applied to symbols like <&gpio>
2019-10-19
<lopsided98>
You have to pass DTC_FLAGS='-@' to make, but I can't figure out how to get Nix to do that