Yesterday, we asked for advice, short of erasing a disk, for solving a data corruption problem that occurred after a kernel panic was triggered by launching iTunes. We received numerous suggestions: ...

TechTool Pro advice for OS X users A MacFixIt Forums thread (TechTool Pro optimizes OS X) offers advice from Micromat on using the latest 3.0.4 update to TechTool Pro with OS X. PCI display card ...

Over the past year, Google has been working on a wholly new operating system named Fuchsia. Back in May, we got our first look at the current UI for Fuchsia OS, while we also know a bit about the ...

Build notes leaked on the web of a prerelease version of Mac OS X 10.6 Snow Leopard indicate that the software only supports enabling its new 64-bit kernel on certain machines, including the Xserve, ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

A fundamental overview of operating systems (OSes) with an emphasis on practice. Topics covered include: OS structure, OS models, OS abstractions, concurrency sources, concurrency challenges, ...

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

The Separation Kernel Hypervisor and Microkernel technologies have emerged as the leading contenders in hosting next-generation embedded safety and security critical compute platforms. Both ...

I was serendipitously in San Jose when my column on Apple’s closed-source OS X x86 kernel posted on-line. Apple had set up a day of meetings for me to discuss MacBook (nice!), Final Cut Express HD ...