ahci: add bind of ahci device to ifconfig
[akaros.git] / scripts / fixincludes
index 43af126..675a3ca 100644 (file)
@@ -13,5 +13,5 @@ sed -i '/^#include/,/^$/c\
 #include <cpio.h>\
 #include <pmap.h>\
 #include <smp.h>\
-#include <ns.h>\
+#include <ip.h>\
 ' $1