> I think I have misunderstood the device tree json-schema spec. > My intention was for the device tree to fill in a default value in the dtb for > arm,smc-id if it was omitted in the dts. But now I see that does not seem to > happen, I cannot really find any documentation of `default`, so I will just put > a documentation string in instead and force the default in the driver. The bindings in Documentation/device-tree are just for informational purposes, they do not have any direct effect on anything. If you want there to be a default, you'll have to write the kernel code to fill it in.