TODO

   1 Clean up timer code.  Don't use PORT_DIAG as delay mechanism.
   2
   3 Disable a20 on jump to 16bit mode.
   4
   5 Do a pci scan for ide controllers - don't just assume ISA ports are
   6 available.
   7
   8 The keyboard driver should detect ctrl+alt+del and reboot the
   9 machine.
  10
  11 Fix keyboard LEDs.
  12
  13 Review changes committed to coreboot, virtualbox, qemu, kvm, and bochs
  14 cvs tip.
  15   * bochs cvs (1.209)         -- all changes synched
  16   * coreboot (r3348): 1.163   -- no noteworthy enhancements
  17   * qemu (r4675): 1.207       -- supports >4Gig memory
  18   * kvm (45a442c): 1.182      -- >4gig, e820 vmx pages, enable cache?,
  19     wrmsr in smp_start and rombios32, acpi insrcovr table
  20   * virtualbox (r9404): 1.176 -- f11/f12 kbd, lots of mouse changes,
  21     logo, set text mode?, int 1589, floppy data rate?,
  22     dummy_isr_function, int19 calls post
  23
  24 Look into ways to reduce stack usage.  Alter ISRs so that they do not
  25 enable irqs.  Only call out to other bios functions after minimizing
  26 stack usage.
  27
  28 Audit all sti/cli calls.  Audit all call16 calls to make sure flags is
  29 setup properly with respect to irqs.
  30
  31 Audit statements where a 32bit intermediary changes meaning of a 16bit
  32 comparison.
  33
  34 Code assumes ebda segment is static - it doesn't read 0x40e.
  35
  36 The __call16 code does a long jump to the interrupt trampolines - this
  37 is unnecessary.
  38
  39 Cleanup setting of ES on GET/SET_BDA
  40
  41 Audit code for 16bit protected mode accesses.
  42
  43 Support 1ab1 from 16bit protected mode.
  44
  45 Verify option roms wont stomp on seabios stack and bss.
  46
  47 Possibly implement 32bit pcibios support.
  48
  49 Allow one to select adding 32 bit code to 0xf000 or in a separate
  50 location.
  51
  52 See if it is possible to handle interrupts while in 32bit mode.
  53
  54 Look at integrating the lgpl vgabios into tree.
  55
  56 Look at usb booting specs.  Look at possibly supporting usb
  57 keyboard/mice.
  58
  59 Add a graphical boot splash screen?