我modules.conf在/etc/modules-load.d/modules.conf路径下的文件中输入了以下行：
alias char-major-10-200 tun
然后我在 Debian 9.5 Linux 提示符下输入以下命令：
$ depmod -a
但我收到以下错误消息：
"depmod: ERROR: could not open directory /lib/modules/4.4.0-17134-Microsoft:
No such file or directory"
和
"depmod: FATAL: could not search modules: No such file or directory"
上面给出的“别名”代码及其后面的命令可在以下链接中找到：“ http://bochs.sourceforge.net/doc/docbook/user/config-tuntap.html”。
我正在尝试运行 miredo_1.2.3-1.1_amd64（一个 Teredo 服务器，如果我理解正确的话）以在我的 Debian 9.5 Linux 操作系统下建立常规隧道连接。miredo“README”文件指出需要“CONFIG_TUN”和“CONFIG_IPV6”。
有什么建议？