linux-kernel - Re: Can we move device drivers into user-space?

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite for Android: free password hash cracker in your pocket

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <4F48488D.30501@cs.stonybrook.edu>
Date:	Fri, 24 Feb 2012 21:33:49 -0500
From:	Richard Yao <ryao@...stonybrook.edu>
To:	Greg KH <gregkh@...uxfoundation.org>
CC:	Jidong Xiao <jidong.xiao@...il.com>,
	Kernel development list <linux-kernel@...r.kernel.org>
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@...uxfoundation.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-----

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/