InfoQ Homepage Operating Systems Content on InfoQ
-
Announcing Verve – A Type-Safe Operating System
Microsoft Research releases Verve, an operating system which grew out of the Singularity project, upon whose base premise is to use Typed Assembly Language, TAL, and Hoare logic to achieve the highest levels of security and safety.
-
Google News: Chrome OS, Chrome Web Store, and Cloud Print
Google has announced recently a number of new developments: the status of Chrome OS, a new market for applications running in Chrome, and cloud printing support in Chrome, all preparing the way for Chrome OS devices.
-
OS Release: Pyxis 2 Beta 2
Last Wednesday, Thomas Holtq announced the release Pyxis 2 beta 2 of the Pyxis 2.0 operating system for .NET Micro Framework devices.
-
What Features Are Desirable for Windows 8?
A number of Windows 8 slides leaked on the Internet, disclosing Microsoft’s plans for the next version of its operating system: hardware supporting touch and voice control, frictionless UX, tablets, faster startup, an app store. Miguel de Icaza, father of Mono, has expressed what he would like to see in Windows 8: sandboxed execution system, no-install apps, a public contract for extension points.
-
Is Symbian’s Open Sourcing Too Late?
The Symbian Foundation announced their intention to open source the Symbian platform almost 20 months ago. While some consider this as an important move for the most deployed platform in mobile devices, others think that it is too late.
-
Details of the Now Available Google Chrome OS
Google has open sourced Chrome OS a year before the planned launch which is to happen some time before winter holidays in 2010. Google is working with manufacturers on a new reference hardware to accommodate their speed and security requirements which are key features of their new operating system.
-
Helios Uses Satellite Kernels to Deal with Heterogeneous Environments
Helios is a Microsoft research OS project intended to ease the process of writing applications for heterogeneous environments by using satellite kernels. The researchers involved are: Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, and Galen Hunt, and they published the paper Helios: Heterogeneous Multiprocessing with Satellite Kernels (PDF).
-
Windows 7 RTM Available For Download
Today Microsoft made Windows 7 (English) available for download for MSDN and TechNet subscribers. Windows 7 will be available for general consumers October 22nd. A complete list of the different availability dates for all type of customers can be found at the Windows 7 blog.
-
HyperSpace, a Browsing Environment with a Small Footprint
Phoenix Technologies has created HyperSpace, a small OS that supports only browsing. HyperSpace precedes Google Chrome OS which is supposed to offer the same functionality with some differences.
-
Microsoft’s Web Browser-Based OS: Gazelle
Google isn’t the only company toying with the idea of a secure operating system based around a web browser. Back in February, researches at Microsoft revealed details about Gazelle. Gazelle claims to be “a multi-principal OS construction of a secure web browser. Gazelle’s Browser Kernel exclusively provides cross-principal protection and fair sharing of all system resources.”
-
Google Is Creating a New Free Operating System Called Google Chrome OS
Google has announced they are working a new operating system called Google Chrome OS. Based on a Linux kernel with a new windowing system, the new OS is targeted at netbooks first and will be open sourced and free.
-
MINIX 3 Promises to Be More Secure Than Windows or Linux
Andrew S. Tanenbaum, a computer science professor at the Vrije Universiteit in Amsterdam, is leading the project developing MINIX 3, an operating system meant to be more secure than Windows or Linux.
-
Windows 7 Beta Is Available
In a keynote address at Consumer Electronics Show 2009 (CES), Steve Ballmer, Microsoft’s CEO, announced Windows 7 Beta and a new version of Windows Live. Windows 7 Beta is available for download for MSDN, TechBeta and TechNet customers and will be widely available starting January 9th.
-
Singularity: Microsoft's Open Source Operating System
The second release of the Singularity Research Development Kit is now available as both source code and as a bootable CD. Singularity is an operating system based almost entirely on managed code with a very high degree of isolation between processes. In an unusual move by Microsoft, Singularity is soliciting patches and offering full developer rights on CodePlex.
-
Microsoft Bringing Multitouch to Windows
Microsoft is planning on publicly releasing the Surface SDK at this year's PDC. This is seen by some as the next step towards bringing their multitouch technology to the Windows operating system.