Passage: The Tanenbaum–Torvalds debate was a debate between Andrew S. Tanenbaum and Linus Torvalds, regarding the Linux kernel and kernel architecture in general.  Tanenbaum began the debate in 1992 on the Usenet discussion group comp.os.minix, arguing that microkernels are superior to monolithic kernels and therefore Linux was, even in 1992, obsolete. Linux kernel developers Peter MacDonald, David S. Miller and Theodore Ts'o also joined the debate.

Question: David Miller is known for developing which OS kernel?
Linux