Fix high interrupt ISRs
[viridis.git] / kernel / platforms / efi /
drwxr-xr-x   ..
-rw-r--r-- 3216 efi.h
-rw-r--r-- 1052 efi_call.asm
-rw-r--r-- 7407 setup.c
-rw-r--r-- 7136 vincent.h