|
| From: | Stefan Monnier |
| Subject: | Re: What OS is used by Richard Stallman |
| Date: | Wed, 03 Oct 2018 18:11:37 -0400 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
> "Android kernel" means the kernel used by Google, and "windows kernel" means
In my world "Android kernel" means "the kernel called Android", just
like "the GCC compiler" means "the compiler called GCC" (except that
there is no such thing as "the kernel called Android" AFAIK).
Stefan
| [Prev in Thread] | Current Thread | [Next in Thread] |