Add trivially optimized dsdot based on sdot

diff --git a/kernel/x86_64/KERNEL.PILEDRIVER b/kernel/x86_64/KERNEL.PILEDRIVER
index 39891a6..1e8112d 100644 (file)
--- a/kernel/x86_64/KERNEL.PILEDRIVER
+++ b/kernel/x86_64/KERNEL.PILEDRIVER
@@ -18,6 +18,7 @@ DGEMVNKERNEL = dgemv_n_bulldozer.S
 DGEMVTKERNEL = dgemv_t_bulldozer.S
 
 SDOTKERNEL   = sdot.c
+DSDOTKERNEL  = sdot.c
 DDOTKERNEL   = ddot.c
 CDOTKERNEL   = cdot.c
 ZDOTKERNEL   = zdot.c