interrupt/dispatch_plic.cpp


1
2
3
4
5
6
7
8

#include "interrupt.h"

extern interrupt::vector_t vectors_irq[]; 

template<>
void interrupt::handler<interrupt::internal::MEI>() {
    while(1) {}
}