Embed ISRs at known address
[viridis.git] / kernel / platforms / efi /
drwxr-xr-x   ..
-rw-r--r-- 3216 efi.h
-rw-r--r-- 1052 efi_call.asm
-rw-r--r-- 7169 setup.c
-rw-r--r-- 7136 vincent.h