GAS Manual
bochs config file