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

Fix

Browse source
This commit is contained in:
Martin Lucina 2018-01-08 13:16:01 +01:00
parent 4f74cf6186
commit cd07cc95e0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
About
View file

@ -133,8 +133,8 @@ just Linus Torvalds' glorified terminal emulator.
A founding member of Unikernel Systems (later acquired by Docker), Martin has
been involved in a number of library operating system projects since 2014,
including the [rumprun](http://repo.rumpkernel.org/rumprun) unikernel and
[MirageOS][https://mirage.io/]. He is a co-author of
[Solo5][https://github.com/Solo5/solo5], a secure execution environment for
[MirageOS](https://mirage.io/). He is a co-author of
[Solo5](https://github.com/Solo5/solo5), a secure execution environment for
unikernels, and joins robur in 2018 to continue his work towards creating
secure software that "just works" and other ambitious projects.