Is android kernel a microkernel or a monolithic kernel? Since the android kernel is derived from the mainstream Linux kernel, with additional drivers for a specific android device. is it safe to say that the Android kernel is also a monolithic kernel?
But Android removed System V IPC features (message queues, shared memory segments, semaphores),So to summaries i just want to understand how different is the Android kernel with respect to the mainline Linux kernel?
The term ‘monolithic’ is usually applied directly to the kernel of an operating system, rather than the operating system itself which is a boarder, fuzzier concept.

Monolithic kernels, such as Linux, are distinguished from microkernels such as Mach and L4 by having a relatively large amount of code operating in a shared address space. Microkernels tend to have a smaller amount of a shared code and communicate between the components of the kernel using a fast message passing mechanism.

Since the default android kernel is derived from the Linux kernel, it is safe to say that the Android kernel is also a monolithic kernel.