2 # Extensions for PlanetLab Resources
6 namespace planetlab = "http://www.planet-lab.org/resources/ext/planetlab/1"
8 InitscriptSpec = element planetlab:initscript {
9 attribute name { text }
12 AttributeSpec = element planetlab:attribute {
13 attribute name { text },
14 attribute value { text }
17 start = InitscriptSpec | AttributeSpec