Microsoft (NASDAQ:MSFT) announced it is developing a new platform aimed at helping cybersecurity firms operate without accessing the kernel mode of its Windows operating system. Bloomberg reported ...

Much of modern operating system functionality happens in and around the kernel. That’s a problem when you’re implementing monitoring and observability tools or adding low-level security tools because ...

When Apple released a preview version of iOS 10 at its annual developers conference last week, the company slipped in a surprise for security researchers — it left the core of its operating system, ...

Spend enough time around Android, or even PCs, and eventually you will come across the term, “the Linux kernel,” since Android uses the Linux kernel. The “Linux” part is easy enough to understand, it ...

LKRG (short for Linux Kernel Runtime Guard) is a loadable kernel module that continuously monitors the health and integrity ...

Make a system call now, get the result later: a proposed kernel patch expands the possibilities for asynchronous I/O. The kernel’s support for asynchronous I/O is incomplete, and it always has been.

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 ...