(no commit message)

diff --git a/docs/pinmux.mdwn b/docs/pinmux.mdwn
index 34af8030aa72dc485cfada17537ba36687c6e929..193e6778d6d355a02963b6c90e2a18bcfc20d6f0 100644 (file)
--- a/docs/pinmux.mdwn
+++ b/docs/pinmux.mdwn
@@ -226,4 +226,7 @@ recogniseable well-known name.
 Next, these Resources need to be handed to a ResourceManager or
 a Platform (Platform derives from ResourceManager)
 
-     
+    class ASICPlatform(TemplatedPlatform):
+      def __init__(self, resources):
+          super().__init__()
+          self.add_resources(resources)