From 51ece51949ad0a1a2f4c5151329dfcf9390c169e Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 8 Nov 2019 20:43:03 +0100 Subject: [PATCH] fix links --- Posts/DNS | 2 +- Posts/Summer2019 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Posts/DNS b/Posts/DNS index 977eef3..7ccf952 100644 --- a/Posts/DNS +++ b/Posts/DNS @@ -21,7 +21,7 @@ minimal operating systems for high-assurance services". robur is only possible by generous donations in autumn 2017, enthusiastic collaborateurs, supportive friends, and a motivated community, thanks to all. We will receive funding from the [prototypefund](https://prototypefund.de/project/robur-io/) to work on a -[CalDAV server](http://robur.io/Projects/CalDAV) implementation in OCaml +[CalDAV server](https://robur.io/Our%20Work/Projects#CalDAV-Server) implementation in OCaml targeting MirageOS. We're still looking for donations and further funding, please get in touch. Apart from CalDAV, I want to start the year by finishing several projects which I discovered on my hard drive. This includes DNS, [opam diff --git a/Posts/Summer2019 b/Posts/Summer2019 index 9716b87..23ffa81 100644 --- a/Posts/Summer2019 +++ b/Posts/Summer2019 @@ -7,7 +7,7 @@ abstract: Bringing MirageOS into production, take IV monitoring, CalDAV, DNS ## Working at [robur](https://robur.io) -As announced [previously](/Posts/DNS), I started to work at robur early 2018. We're a collective of five people, distributed around Europe and the US, with the goal to deploy MirageOS unikernels. We do this by developing bespoke MirageOS unikernels which provide useful services, and deploy them for ourselves. We also develop new libraries and enhance existing ones and other components of MirageOS. Example unikernels include [our website](https://robur.io) which uses [Canopy](https://github.com/Engil/Canopy), a [CalDAV server that stores entries in a git remote](https://robur.io/Projects/CalDAV), and [DNS servers](https://github.com/roburio/unikernels) (the latter two are further described below). +As announced [previously](/Posts/DNS), I started to work at robur early 2018. We're a collective of five people, distributed around Europe and the US, with the goal to deploy MirageOS unikernels. We do this by developing bespoke MirageOS unikernels which provide useful services, and deploy them for ourselves. We also develop new libraries and enhance existing ones and other components of MirageOS. Example unikernels include [our website](https://robur.io) which uses [Canopy](https://github.com/Engil/Canopy), a [CalDAV server that stores entries in a git remote](https://robur.io/Our%20Work/Projects#CalDAV-Server), and [DNS servers](https://github.com/roburio/unikernels) (the latter two are further described below). Robur is part of the non-profit company [Center for the Cultivation of Technology](https://techcultivation.org), who are managing the legal and administrative sides for us. We're ourselves responsible to acquire funding to pay ourselves reasonable salaries. We received funding for CalDAV from [prototypefund](https://prototypefund.de) and further funding from [Tarides](https://tarides.com), for TLS 1.3 from [OCaml Labs](http://ocamllabs.io/); security-audited an OCaml codebase, and received [donations](https://robur.io/Donate), also in the form of Bitcoins. We're looking for further funded collaborations and also contracting, mail us at `team@robur.io`. Please [donate](https://robur.io/Donate) (tax-deductible in EU), so we can accomplish our goal of putting robust and sustainable MirageOS unikernels into production, replacing insecure legacy system that emit tons of CO2.