--- /dev/null
+<?xml version='1.0'?>\r
+<!DOCTYPE platform_description SYSTEM "surfxml.dtd">\r
+<platform_description version="1">\r
+ <cpu name="cpu0" power="4e+09"/>\r
+ <cpu name="cpu1" power="4e+09"/>\r
+ <network_link name="link0" bandwidth="1.25e+08" latency="1.0e-04" sharing_policy="SHARED"/>\r
+ <route src="cpu0" dst="cpu0">\r
+ <route_element name="link0"/>\r
+ </route>\r
+ <route src="cpu0" dst="cpu1">\r
+ <route_element name="link0"/>\r
+ </route>\r
+ <route src="cpu1" dst="cpu0">\r
+ <route_element name="link0"/>\r
+ </route>\r
+ <route src="cpu1" dst="cpu1">\r
+ <route_element name="link0"/>\r
+ </route>\r
+</platform_description>\r