参考下面的段落,然后以相同的语言回答后面的问题:  段落:Tanenbaum<unk>Torvalds辩论是Andrew S. Tanenbaum和Linus Torvalds之间关于Linux内核和内核架构的辩论. 坦恩<unk>姆在1992年在Usenet讨论小组comp.os.minix上开始了辩论,他认为微内核优于单一内核,因此Linux甚至在1992年已经过时了. 开发者彼得·麦克唐纳,戴维·S·米勒和西奥多·<unk>也加入了辩论.  问题: 戴维·米勒以开发哪个操作系统内核而闻名?
在Linux