Messages in this thread | | | Date | Fri, 24 Feb 2012 21:33:49 -0500 | From | Richard Yao <> | Subject | Re: Can we move device drivers into user-space? |
| |
-----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 <gregkh@linuxfoundation.org> 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-----
| |