open_kernel/kernel/interrupt/interrupt.ads

package Interrupt is
   procedure Initialize;
end Interrupt;