On Mon, Apr 16, 2012 at 5:45 PM, David Jeske <[email protected]> wrote:
> On Mon, Apr 16, 2012 at 10:56 AM, Jonathan S. Shapiro <[email protected]>wrote: > >> Count either instructions or unit numbers. I'm not sure about IOS >> devices, but every other mobile device is running a capability microkernel >> under those OS's. Most of those qualify as "end user systems". >> > > There is no reason to debate facts, and this is quite a large tangent from > where we started, but I'm curious about what facts lead to our differing > view of this situation. > > My definition of Microkernel <http://en.wikipedia.org/wiki/Microkernel> is > "hardware drivers live in hardware-protected-spaces and communicate via > IPC", such as pure Mach 3.0, (some parts of) NT 3.51, QNX, QNX Neutrino, > and more recently hardware-enforced applications of L4. > Right. > .... which means all ... smartphones running Android/Linux and iOS/Darwin > all load drivers into the privileged space (ring0 equivilent) and are > effectively macro- kernels.... this is the source of my comment that "most" > systems are macrokernels. > Indeed. But it turns out that the majority of these smart phones don't run on bare metal. The run on L4. It's effectively part of the microcode load on modern mobile phone platforms.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
