9os

Experimental kernel using plan9 ideas for embedded device
git clone git://git.simple-cc.org/9os
Log | Files | Refs | README | LICENSE

gic.c (117B)

      1 #include <os9/os9.h>
      2 
      3 #include "sysreg.h"
      4 #include "arch.h"
      5 
      6 void
      7 igic(void)
      8 {
      9 	interrupt(ENABLE);
     10 	barrier(CODE);
     11 }