Desktop · Language-based operating systems · Microsoft Research
Verve (operating system)
2010
vr73999 / November 10, 2013; 12 years ago (2013-11-10)
Microsoft Research License
Active
Operating system entry sourced from Wikipedia: Verve (operating system).
Key specifications
- Family
- Language-based operating systems
- Type
- Desktop
- Kernel
- Microkernel, language-based
- Version
- r73999 / November 10, 2013; 12 years ago (2013-11-10)
- License
- Microsoft Research License
- Released
- 2010
general
| Developer | Microsoft Research |
|---|---|
| Initial release | September 2010; 15 years ago (2010-09) |
| Kernel type | Microkernel, language-based |
| Latest release | r73999 / November 10, 2013; 12 years ago (2013-11-10) |
| License | Microsoft Research License |
| OS family | Language-based operating systems |
| Source model | Source-available (via Shared Source Initiative) |
| Supported platforms | x86 |
| Working state | In development |
| Written in | BoogiePL, C#; bootloader in assembly language, C++; may use other Common Intermediate Languages (CIL) |
Saved for this visit only — sign in to keep forever.
Performance profile
Catalog-derived scores for comparison — not benchmark results.
Security
64
Performance
52
Compatibility
38
Ecosystem
46
Modern support
83
Related systems
Data sources
- wikipedia os en.wikipedia.org → 1 week ago