Hi there, I have been asked to help with the porting of media wiki to hiphopphp and setting up an example, it requires a large amount of cpu and disk and would like to know if we can use the toolserver for development? This is for compiling and testing, not a full deployment, I would like to see if it can be run with some form of stability. Ideally we would have a debian based GNU/Linux os for running on. thanks, mike