override Platform.add_resources() so as to be able to add
[pinmux.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 48344 AddingPeripherals.mdwn