When enabling write access to 0xf0000, just copy from 0xffff0000.

Instead of copying the bios to temp space and then copying back to
    0xf0000, just copy from the permanent location at 0xffff0000.
This should make startup slightly faster.
3 files changed
tree: 4d1b3c5bcae9b5ac6d6f7c87fbf8ac9c605717c9
  1. .gitignore
  2. COPYING
  3. COPYING.LESSER
  4. Makefile
  5. README
  6. TODO
  7. src/
  8. tools/
  9. vgasrc/