- <!-- For using with ping_pong example, very simple platform -->
- <host id="Inmos" power="98095000"/>
- <host id="Bellevue" power="76296000"/>
- <host id="Test" power="96296000"/>
+ <!-- For using with kadeploy, very simple 3-node platform -->
+ <host id="host0" power="98095000"/>
+ <host id="host1" power="76296000"/>
+ <host id="host2" power="96296000"/>
+ <host id="host3" power="97296000"/>