debian/0_20191130-6
739e31c5 · patches/intr_lock.diff: Lock the kernel on interrupt ·