OSv Unikernel – Optimizing Guest OS to Run Stateless and Serverless Apps

• ferros

  9 104 0.0 Rust

  A Rust-based userland which also adds compile-time assurances to seL4 development.

  

I tried and failed to bring unikernels to my former work when I was at Visa. Specifically, LING.

At my current company, Auxon, we recently open sourced[1] some work we did a couple years back which is more or less an attempt at the basic foundations for blending the seL4 microkernel with fairly normal no_std Rust application development and assembling them all together to make a purpose built OS/application to deploy directly to hardware or within a VM. We have some work to do to keep building it up as a foundation for broader use, but we're looking into partnering with the seL4 Foundation (now under the Linux Foundation) to iterate on it further with some of our other mutual partners. The developer experience is much closer to that of developing for an RTOS than it is like typical general purpose computing development.

I'm of course biased, but I think there's a lot of room to innovate in the space of use case specific software stacks where the domain and constraints are well understood and too many degrees of freedom are actually a hindrance and a liability, not an advantage.

[1] https://github.com/auxoncorp/ferros

• OPS

  11 1,206 8.7 Go

  ops - build and run nanos unikernels

  

This isn't true.

Both https://nanos.org and https://ops.city are Go unikernels running on Google Cloud. (I'm with NanoVMs that is the maintainer of these projects.)

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• nanos

  28 2,483 9.2 C

  A kernel designed to run one and only one application in a virtualized environment

  

This isn't true.

Both https://nanos.org and https://ops.city are Go unikernels running on Google Cloud. (I'm with NanoVMs that is the maintainer of these projects.)

• Trusted-CGI

  4 214 6.6 Go

  Lightweight runner for lambda functions/apps in CGI like mode

Check out this project: https://github.com/reddec/trusted-cgi

I’d say the base is CGI + chroot, and then you grow over this base.

If you want to rebuild AWS Lambda, though, check their documentation on custom runtimes and some “how to make your own docker using cgroups” guides.

Firecracker is used to improve workload/tenant isolation, but if all you’re running is trusted, you might skip this part.

Suggest a related project