The term NanoKernel or PicoKernel historically referred to: page 
More recently folks are making a case that Nanokernel section should be removed from Wikipedia page
Concretely cementing the case is Google Fuchsia a capability-based microkernel page
.
Android is a dead end (some speculation) page