(no commit message)

diff --git a/docs/pinmux.mdwn b/docs/pinmux.mdwn
index 78c730bcab76606e6c7264e940fa9c7ee1c6a248..d230d3b566da35bd7bd81ee0a4a4ee1c536fca60 100644 (file)
--- a/docs/pinmux.mdwn
+++ b/docs/pinmux.mdwn
@@ -133,7 +133,7 @@ a UART (caveat below):
 The caveat here is that the Resources of the platform actually
 have to have a UART in order for it to be requestable! Thus:
 
-    resources = create_resources()
+    resources = create_resources() # contains resource named "uart"
     asic = ASICPlatform(resources)
     hdl = Blinker()
     asic.build(hdl)