引用下面的段落,然后以相同的语言回答后面的问题:段落:Tanenbaum<unk>Torvalds辩论是Andrew S. Tanenbaum和Linus Torvalds之间关于Linux内核和内核架构的辩论.Tanenbaum于1992年在Usenet讨论组comp.os.minix上开始辩论,认为微内核优于单体内核,因此Linux甚至在1992年已经过时了.Linux内核开发人员Peter MacDonald,David S. Miller和Theodore Ts'o也加入了辩论.问题:David Miller以开发哪个操作系统内核而闻名?
在Linux