TODO

   1 Clean up timer code.  Don't use PORT_DIAG as delay mechanism.
   2
   3 The keyboard driver should detect ctrl+alt+del and reboot the
   4 machine.
   5
   6 Fix keyboard LEDs.
   7
   8 Review changes committed to coreboot, virtualbox, qemu, kvm, and bochs
   9 cvs tip.
  10   * bochs cvs 20081016:           -- better post resume support
  11   * coreboot (r3348):    20060708 -- no noteworthy enhancements
  12   * qemu (r5536):        20080603 -- has cmos smp count
  13   * kvm (1a33292):       20071016 -- acpi dsdt changes, e820 vmx
  14     pages, setup mtrrs, clear tsc, acpi intsrcovr table, different pci
  15     irqs, smbios always uses 16 cpus, no acpi ssdt, fadt->gpe0_blk set
  16   * virtualbox (r13560): 20061231 -- lots of mouse changes, logo,
  17     scsi/etherboot hooks, int 1589, floppy data rate?, int19 calls
  18     post
  19
  20 Look into ways to reduce stack usage.  Alter ISRs so that they do not
  21 enable irqs.  Only call out to other bios functions after minimizing
  22 stack usage.
  23
  24 Audit all sti/cli calls.  Audit all call16 calls to make sure flags is
  25 setup properly with respect to irqs.
  26
  27 Audit statements where a 32bit intermediary changes meaning of a 16bit
  28 comparison.
  29
  30 Code assumes ebda segment is static - it doesn't read 0x40e.
  31
  32 The __call16 code does a long jump to the interrupt trampolines - this
  33 is unnecessary.
  34
  35 Cleanup setting of ES on GET/SET_BDA
  36
  37 Audit code for 16bit protected mode accesses.  Support 1ab1 from 16bit
  38 protected mode.
  39
  40 Possibly implement 32bit pcibios support.
  41
  42 Allow one to select adding 32 bit code to 0xf000 or in a separate
  43 location.
  44
  45 See if it is possible to handle interrupts while in 32bit mode.
  46
  47 Add a kconfig style configuration program instead of requiring users
  48 to modify config.h.
  49
  50 Look at integrating the lgpl vgabios into tree.
  51
  52 Look at usb booting specs.  Look at possibly supporting usb
  53 keyboard/mice.
  54
  55 Add a graphical boot splash screen?