diff -r 5d9f60ccd61b tools/pyelf/weaver/device.py
--- a/tools/pyelf/weaver/device.py	Wed Jul 02 16:48:08 2008 +1000
+++ b/tools/pyelf/weaver/device.py	Tue Jul 29 16:40:24 2008 +1000
@@ -168,9 +168,10 @@ class PhysicalDevice(AliasCapObject):
             pp = weaver.bootinfo.PhysPool("%s_pool" % name, machine, pools)
             bootinfo.add_physpool(pp)
             # This cap is probably never used.
+            pns = namespace.add_namespace(pp.get_name())
             master = weaver.bootinfo.Cap("master", ["master"])
             pp.add_cap(master)
-            namespace.add(master.get_name(), master)
+            pns.add(master.get_name(), master)
             cap_name = "%s_pool" % name
             caps[cap_name.upper()] = master