private final VgaState state640x480x16;
private final VgaState oldState;
public StandardVGA(ResourceOwner owner, IndexColorModel cm) throws ResourceNotFreeException {
try {
ResourceManager rm = InitialNaming.lookup(ResourceManager.NAME);
vgaMem = rm.claimMemoryResource(owner, Address.fromIntZeroExtend(0xa0000), 0x9600,
ResourceManager.MEMMODE_NORMAL);
state640x480x16 = new VgaState(seq, crt, gra, att, 0xe3, cm);
oldState = new VgaState();
} catch (NameNotFoundException ex) {
throw new ResourceNotFreeException("ResourceManager not found", ex);