From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757409Ab2BYCkw (ORCPT ); Fri, 24 Feb 2012 21:40:52 -0500 Received: from edge1.cs.stonybrook.edu ([130.245.9.210]:39711 "EHLO edge1.cs.stonybrook.edu" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752829Ab2BYCkv (ORCPT ); Fri, 24 Feb 2012 21:40:51 -0500 X-Greylist: delayed 321 seconds by postgrey-1.27 at vger.kernel.org; Fri, 24 Feb 2012 21:40:51 EST Message-ID: <4F48488D.30501@cs.stonybrook.edu> Date: Fri, 24 Feb 2012 21:33:49 -0500 From: Richard Yao User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.1) Gecko/20120214 Thunderbird/10.0.1 MIME-Version: 1.0 To: Greg KH CC: Jidong Xiao , Kernel development list Subject: Re: Can we move device drivers into user-space? References: <20120224153811.GA16535@kroah.com> <20120224165448.GA8751@kroah.com> <20120224171344.GA9485@kroah.com> In-Reply-To: <20120224171344.GA9485@kroah.com> X-Enigmail-Version: 1.3.5 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7bit X-Originating-IP: [72.89.250.247] Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 02/24/12 12:13, Greg KH wrote: > On Fri, Feb 24, 2012 at 12:06:54PM -0500, Jidong Xiao wrote: >> On Fri, Feb 24, 2012 at 11:54 AM, Greg KH wrote: >>>> As to "Linux isn't a microkernel", even though the debate between >>>> Linux and microkernel have never stopped, >>> >>> Um, who is having such a debate? We aren't, so I don't think the debate >>> has ever started. >>> >> >> Here is the classic debate between Andrew S. Tanenbaum and Linus Torvalds: >> http://en.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_debate > > That was 20 years ago, to assume that anyone rational was still having > that debate today is insane. Jidong Xiao was correct in saying that there was a debate. It continues much like the Korean war does today. With that said, I suggest that Jidong Xiao switch to MINIX, GNU or his own OS based on one of the L4 kernels (SEL4 maybe?). -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQIcBAEBAgAGBQJPSEiMAAoJELFAT5FmjZuE2fgP/jSLP8a1bloTJAuQhZScXaWS 7A9GOYKbtGE6WFaYvzzTNuEON+jK9hQqFAaVpW/GvIJLaQC5agdTzawVi1It/nIk 281FXUrFdZiQtEOArwb3sSxLcUgcPeEWaEG798wqM2Vc2LDAgKEaNh01RasH4di1 v78NRXxCsOfPtszlFbA6u3g/+sjNK2KXKjCPKayN8uzpihvIal+JQx8iunen/TbT 3kENQiT6mA1oP/r3/z19ayL0piKpm4YKZI4UwtGWT0QzwpPD69sVrcCS1ddF58O6 CVl+vsQl/8ptUnLZ115XujXas2y1CioUfkTiKezkGpz/roJoquKwUejamyBc+JHa 0Ph5cJBNg/tfiOcQDeM1GYsolfFVBy5Wvn4uh5R24bBi1nLl/YeAe/0eHY43cdoT mbusYNbBHYr9Bx6B+1Ehy0c+/hd5949kQqWLchi8INYsRUakXqnYQNEt3Jznkpr8 sj4Ga9iayEa3OnwLolLDvBmgLFAF4ZUDBiIFsV6QMrGosvm2DC3Cmk/+ZBwOhZkw lmLor34YJdVQ/0GivwxoGX12HlMQB7IBQiAnQUX5z+a9BOQTcNf4muXM/rs5cDk1 jbztbT9BbTKQVKeQMkZLewct+qEfBHuRA5KimoKL+jxmfZw5UqjBRhtR+U4T+C6A WTJMtPUD4Z08trnWHxRU =H2R7 -----END PGP SIGNATURE-----