| TODO | gcc support for SVP64 | |
| TODO | SVP64 Vectorisation | |
| TODO | Video Instructions and libraries | |
-| TODO | Kazan 3D Vulkan Driver | |
+| TODO | Video Instructions and libraries | |
+| TODO | IEEE754 FP HDL Library | |
| TODO | MESA 3D Vulkan Driver | |
| TODO | 3D instructions | |
| TODO | cryptographic and bitmanip instructions | |
-| TODO | Crypto-router ASIC (130nm?) |
-| TODO | Kestrel BMC Port |
-| TODO | Debug Wotking Group (JTAG, DMI) |
-
+| TODO | Crypto-router ASIC (130nm?) | |
+| TODO | Kestrel BMC Port | |
+| TODO | Debug Working Group (JTAG, DMI, FSI) | |
# How Can I Help?