Make vsched capable of configuring the new scheduler using a new configuration format...