The text 8f5f1785672a, as Debian 5.0 (Lenny) shipped it.
set the irq type for an irq
set_irq_type(9) on Linux now
