#include "hos_types.h"
#include "interrupts.h"

extern "C" {

void isr(u8_t int_num, int_stack_t * int_stack)
{
    switch (int_num)
    {
    }
}

} /* extern "C" */

void interrupts_bootstrap()
{
    /* TODO: set up IDTR, IDT */
}