Don't mask irqs in default hardware irq handler.
authorKevin O'Connor <kevin@koconnor.net>
Fri, 6 Feb 2009 02:23:39 +0000 (21:23 -0500)
committerKevin O'Connor <kevin@koconnor.net>
Fri, 6 Feb 2009 02:23:39 +0000 (21:23 -0500)
commiteac894df0cf5bd39da606569c053eaa590257ac1
treeb7951c000a2bc3ea74694bc3110f5cf840b83b1a
parent423a04d6c244e6126b1e49285181e59bd0c196fb
Don't mask irqs in default hardware irq handler.

The latest PCI spec requires option roms to call default bios
    handler.  So, the bios must not mask irqs.
Also, make the default hw irq handlers less verbose.
src/config.h
src/pic.c