Disagreements exist about whether or not microkernels are good. It's easy to get the impression they're good because they were proposed as a refinement after monolithic kernels. Microkernels are ...

Real-time operating system kernels in embedded systems need to be configurable. Unfortunately many of today's commercial real-time kernels are monolithic. These optimized code packages are difficult ...

Researchers contend almost all Linux OS flaws could be mitigated to less-than-critical severity with an OS design based on a verified microkernel. In an exhaustive study of critical Linux ...

An operating system architecture for a particular platform that includes all OS functions such as the file system, virtual memory manager, application interprocess communication and drivers. Contrast ...

eWEEK content and product recommendations are editorially independent. We may make money when you click on links to our partners. Learn More. The news is full of talk about Microsoft’s Midori, a ...

<BLOCKQUOTE class="ip-ubbcode-quote"><font size="-1">quote:</font><HR>from apple's darwin page:<BR>Darwin uses a monolithic kernel based on FreeBSD 4.4 and the OSF/mk ...

However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born Gnu Hurd ...

A kernel is the central module, or "seed," of an operating system (OS). At boot, the kernel loads first into a protected area of the main memory (which cannot be overwritten), and remains there until ...

I have a linux box in a production environment that's using a monolithic kernel for security reasons. I want to find out what process is listening on a specific port (587). netstat -aev just tells me ...