private static void createDevices() {
	interrupt = new Interrupt(privilege);
	timer = new Timer(privilege);

	if (Config.getBoolean("Machine.bank"))
	    bank = new ElevatorBank(privilege);

	if (Config.getBoolean("Machine.processor")) {
	    if (numPhysPages == -1)
		numPhysPages = Config.getInteger("Processor.numPhysPages");
	    processor = new Processor(privilege, numPhysPages);
	}				      

	if (Config.getBoolean("Machine.console"))
	    console = new StandardConsole(privilege);

	if (Config.getBoolean("Machine.stubFileSystem"))
	    stubFileSystem = new StubFileSystem(privilege, testDirectory);

	if (Config.getBoolean("Machine.networkLink"))
	    networkLink = new NetworkLink(privilege);
    }