Fix high interrupt ISRs
[viridis.git] / kernel / platforms /
drwxr-xr-x   ..
drwxr-xr-x - bios
drwxr-xr-x - efi
-rw-r--r-- 1384 platform.c