Move POST stack from 0xfffe to 0x7c00.

The BIOS Boot Specification recommends 0x7c00 - 0xffff for option rom
    temp storage, so don't use that space as a stack.
Also, default CONFIG_VGAHOOKS off as it isn't generally useful.
Finally, update TODO list.
2 files changed
tree: 1386cb2c858a88c37abda1828723646f4ea56f0d
  1. .gitignore
  2. COPYING
  3. Makefile
  4. README
  5. TODO
  6. src/
  7. tools/