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. src/
  2. tools/
  3. .gitignore
  4. COPYING
  5. Makefile
  6. README
  7. TODO