I am not attached to the name itself, I was just trying to solve the problem with special characters. Would the following work?
nuttx/core nuttx/apps 2022/11/19 08:21:43, Gregory Nutt: > 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. > > -- Thiago Costa de Paiva FSF member: 11963 Linux User: 565327