Windows 7 Forums

Welcome to Windows 7 Forums. Our forum is dedicated to helping you find support and solutions for any problems regarding your Windows 7 PC be it Dell, HP, Acer, Asus or a custom build. We also provide an extensive Windows 7 tutorial section that covers a wide range of tips and tricks.


Windows 7: Verve - New non-Windows OS from Microsoft

10 Dec 2010   #1
JMH

Win 7 Ultimate 64-bit. SP1.
 
 
Verve - New non-Windows OS from Microsoft

Quote:
Verve is the latest non-Windows operating system for which Microsoft has shared details with the world via the “Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System” whitepaper.

Still just a prototype from Microsoft Research, Verve is designed as an operating system and run-time system that the software giant has focused on ensuring that both type and memory are secure.

According to the Redmond company, Verve is a spin-off of another non-Windows operating system that users might already be familiar with: Singularity.

The Singularity platform project, an OS written in managed code used for research purposes, has inspired new platforms such as Verve, and also Midori, on which there are very little details available
Verve - New non-Windows OS from Microsoft - Softpedia


My System SpecsSystem Spec
.
Reply

 Verve - New non-Windows OS from Microsoft




Thread Tools





Similar help and support threads
Thread Forum
Microsoft to rebrand 'Windows Azure' as 'Microsoft Azure'
Read more at: Microsoft to rebrand 'Windows Azure' as 'Microsoft Azure' | ZDNet
News
Windows 7: BSOD Microsoft-Windows-Kernel-Power Event ID: 41
When I Turn on and Off my Desktop its really having a very very slow or very long time to Open Windows Start Up or Turning my PC OFF.. when i checked event viewer i found this.. sometimes i get BSOD Critical system errors.. The system has rebooted without cleanly shutting down first. This...
BSOD Help and Support
MICROSOFT ISATAP x422 and MICROSOFT TEREDO TUNNELING ADAPTER
I have a problem regarding my MICROSOFT ISATAP x422 and MICROSOFT TEREDO TUNNELING ADAPTER. going to device manager there is a yellow mark on MICROSOFT ISATAP x422 and MICROSOFT TEREDO TUNNELING ADAPTER icon and i was wondering what was wrong. Please help me.
Hardware & Devices
A possible Microsoft-Skype acquisition hurdle and other Microsoft news
A possible Microsoft-Skype acquisition hurdle and other Microsoft news of the week | ZDNet
News
Microsoft-Windows-Kernel-Power BSOD Windows 7 issue Please help!
I started having this issue today and have had no luck solving it. Anytime I start up windows and log on to a user it'll Blue Screen with IRQL_NOT_LESS_OR_EQUAL. This first happened when I was browsing the internet on random websites. Java randomly opened and was doing something. It...
BSOD Help and Support
Migrating from Windows XP to Windows 7 Beta with Microsoft Deployment Toolkit 2010
Migrating from Windows XP to Windows 7 Beta with Microsoft Deployment Toolkit 2010 Beta | Media | TechNet Edge
News

Our Sites

Site Links

About Us

Find Us

Windows 7 Forums is an independent web site and has not been authorized, sponsored, or otherwise approved by Microsoft Corporation. "Windows 7" and related materials are trademarks of Microsoft Corp.

© Designer Media Ltd

All times are GMT -5. The time now is 01:36.

Twitter Facebook Google+



Windows 7 Forums

Seven Forums Android App Seven Forums IOS App