Fix reversed interrupt vector name
[viridis.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 11264103 64-ia-32-architectures-software-developer-system-programming-manual-325384.pdf
-rw-r--r-- 6334962 ACPI_6_1.pdf
-rw-r--r-- 4506457 AMD64_v2.pdf
-rw-r--r-- 13753338 UEFI Spec 2_6.pdf
-rw-r--r-- 415127 abi.pdf