robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

-typo

Browse source
This commit is contained in:
Hannes Mehnert 2017-09-18 11:27:21 +01:00
parent 0077feb0ac
commit 5c3ad93b7b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Home
View file

@ -4,7 +4,7 @@ title: What is robur?
At robur, we build performant bespoke minimal operating systems for high-assurance services. At robur, we build performant bespoke minimal operating systems for high-assurance services.
With our approach to systems development we provide the following advantages for you: With our approach to systems development we provide the following advantages for you:
* systems based on the unikernel pioneer [MirageOS](https://mirage.io) * systems based on the unikernel pioneer [MirageOS](https://mirage.io)
* secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforseen state * secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforeseen state
* ready for the cloud, services run on all major hypervisors * ready for the cloud, services run on all major hypervisors
* instant boot * instant boot
* competitive performance comparable to C * competitive performance comparable to C