original_query: What functions typically found in operating system kernels are not included in OS4000?
query: What functions typically found in operating system kernels are not included in OS4000?
answer: Many functions typically in OS kernels are not needed in OS4000 because the underlying GEC 4000 series hardware and firmware (Nucleus) handle them.