Guy Harris (talk | contribs) Is this truly a multikernel system, with each CPU core running a kernel instance that communicates with the instances on other cores by message-passing, or is it just a system with some cores running one kernel and other cores running a different kernel, or is it both (e.g., with cores running kernel A communicating with cores running kernel B solely with message-passing)? |
Guy Harris (talk | contribs) m Guy Harris moved page Lightweight Kernel Operating System to Lightweight kernel operating system: Fix capitalization - this is a phrase that describes a type of operating system, not a name for a particular operating system. |
(No difference)
| |
