On 11/19/2022 8:12 AM, Gregory Nutt wrote:
We need to verify, but I do not think that the Apache github
repository supports directories
Technically, NuttX is NOT a kernel in most build modes. A kernel is a
very specific architectural implementation involving protected
resources: https://en.wikipedia.org/wiki/Kernel_(operating_system) .
The Linux kernel is a kernel. NuttX can be a kernel in the protected
and kernel build modes, but in general, NuttX is not a kernel so any
use of kernel in the naming would be wrong in most cases.
https://en.wikipedia.org/wiki/Kernel_(operating_system)
More correctly Linux (and NuttX in protected and kernel modes) is a
monolithic kernel.
Even worse usage is when NuttX is occasionally called a micro kernel
which is most certainly is not. A microkernel is an architectural
alternative to a monolithic kernel:
https://en.wikipedia.org/wiki/Microkernel
According to
https://en.wikipedia.org/wiki/Operating_system#Types_of_operating_systems
, NuttX in the flat build mode could be called a "library operating
system" with regard to memory organization. It is also a real-time,
multi-tasking, embedded operating system using those definitions.