From bb1d9c33cfde737f5d2cc1814d64589ba4f2b415 Mon Sep 17 00:00:00 2001 From: Kyle Hale Date: Fri, 15 Mar 2019 16:07:05 -0500 Subject: [PATCH 1/3] Add Nautilus to projects --- projects/index.html | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/projects/index.html b/projects/index.html index 06ade71..16bd0dc 100755 --- a/projects/index.html +++ b/projects/index.html @@ -147,6 +147,19 @@

HermitCore

+
+
+
+

Nautilus

+

Nautilus is a unikernel OS framework designed to be paired with a high-performance, parallel runtime system (such as Legion, Charm++, or HPX) to produce a Hybrid Runtime (HRT) in order to boost application performance and reduce replicated functionality in the OS and runtime system. The current version has experimental support for Rust and OpenMP. Nautilus can be paired with a general-purpose kernel in a multi-kernel setup using Hybrid Virtual Machines or the Pisces cokernel system. +

+

Nautilus Repository

+
+
+ +
+
+
From dc679cbb881562f49b1f9f6954f2b99b1fb12efc Mon Sep 17 00:00:00 2001 From: Kyle Hale Date: Fri, 15 Mar 2019 16:52:13 -0500 Subject: [PATCH 2/3] reorder lexicographically --- projects/index.html | 283 +++++++++++++++++++++----------------------- 1 file changed, 137 insertions(+), 146 deletions(-) diff --git a/projects/index.html b/projects/index.html index 16bd0dc..f05f9a8 100755 --- a/projects/index.html +++ b/projects/index.html @@ -15,152 +15,143 @@

Projects

-
-
- - -
-
-
-

An overview of approaches

-

Minimal, bespoke unikernel operating systems can be constructed in many different ways for many different applications on many different hardware platforms. Some systems (like Rumprun) are language-agnostic, and provide a platform for any application code based on the requests it makes of the operating system. Others (like MirageOS and HaLVM) leverage high-level languages and a runtime to provide an API for operating system functionality. Unikernels can run in containers, on hypervisors, and on a wide array of bare-metal hardware.

-

The projects below represent a slice of the variety of solutions available in the unikernel space. They include C++ network-specific high-speed unikernels, purely functional and statically typed bespoke unikernels, a cloud-oriented JavaScript library operating system, and a software which runs existing unmodified POSIX software as a unikernel on bare hardware or hypervisors. Unikernels are running in research labs, in server rooms, and on low-power devices all over the world, many built on the projects here!

-

If your project is missing, please let us know!

-
-
- -

Image credit: Denis Klyuchnikov from Noun Project

-
-
-
- - -
-
-
-

ClickOS

-

A high-performance, virtualized software middle box platform based on open source virtualization. Early performance analysis shows that ClickOS VMs are small (5MB), boot quickly (as little as 20 milliseconds), add little delay (45 microseconds) and more than 100 can be concurrently run while saturating a 10Gb pipe on an inexpensive commodity server.

-

cnp.neclab.eu

-
-
- -
-
-

Clive

-

An operating system designed to work in distributed and cloud computing environments, written in the Go programming language.

-

lsub.org

-
-
-
- -
-
-
-

Drawbridge

-

A research prototype of a new form of virtualization for application sandboxing. Drawbridge combines two core technologies: a picoprocess, which is a process-based isolation container with a minimal kernel API surface, and a library OS, which is a version of Windows enlightened to run efficiently within a picoprocess.

-

research.microsoft.com

-
-
- -
-
-

HaLVM

-

A port of the Glasgow Haskell Compiler tool suite that enables developers to write high-level, lightweight VMs that can run directly on the Xen hypervisor.

-

galois.com

-
-
-
- -
-
-
-

IncludeOS

-

A minimal, service oriented, includeable library operating system for cloud services. Currently a research project for running C++ code on virtual hardware.

-

includeos.org

-
-
- -
-
-

LING

-

A unikernel based on the Erlang/OTP and understands .beam files. Developers can create code in Erlang and deploy it as LING unikernels. LING removes the majority of vector files, uses only three external libraries and no OpenSSL.

-

erlangonxen.org

-
-
-
- -
-
-
-

MirageOS

-

A clean-slate library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. There are now almost 100 MirageOS libraries and a growing number of compatible libraries within the wider OCaml ecosystem.

-

mirage.io

-
-
- -
-
-

OSv

-

A new OS designed specifically for cloud VMs from Cloudius Systems. Able to boot in less than a second, OSv is designed from the ground up to execute a single application on top of any hypervisor, resulting in superior performance, speed and effortless management. Support for C, JVM, Ruby and Node.js application stacks is available.

-

osv.io

-
-
-
- -
-
-
-

Rumprun

-

A software stack which enables running existing unmodified POSIX software as a unikernel. Rumprun supports multiple platforms, including bare hardware and hypervisors such as Xen and KVM. It is based on rump kernels which provide free, portable, componentized, kernel quality drivers such as file systems, POSIX system call handlers, PCI device drivers, a SCSI protocol stack, virtio and a TCP/IP stack.

-

rumpkernel.org

-
-
- -
-
-

runtime.js

-

An open-source library operating system for the cloud that runs JavaScript, could be bundled up with an application and deployed as a lightweight and immutable VM image. It's built on V8 JavaScript engine and uses event-driven and non-blocking I/O model inspired by Node.js. At the moment KVM is the only supported hypervisor.

-

runtimejs.org

-
-
-
-
-
-
-

UniK

-

UniK (pronounced you-neek) is a tool for simplifying compilation and orchestration of unikernels. Similar to the way Docker builds and orchestrates containers, UniK automates compilation of popular languages (C/C++, Golang, Java, Node.js. Python) into unikernels. UniK deploys unikernels as virtual machines on OpenStack, VirtualBox, QEMU, AWS, vSphere, ukvm, and Xen. UniK incorporates work from the Rumprun, OSv, IncludeOS, and MirageOS projects.

-

UniK Repository

-
-
- -
-
-
-
-
-
-

HermitCore

-

HermitCore is a novel unikernel operating system targeting a scalable and predictable runtime behavior for HPC and cloud environments. The current version supports C/C++, Fortran, Go, Pthreads, OpenMP and iRCCE as message passing library. The potential of HermitCore is illustrated by a small number of videos.

-

HermitCore Repository

-
-
- -
+
+
+ + +
+
+
+

An overview of approaches

+

Minimal, bespoke unikernel operating systems can be constructed in many different ways for many different applications on many different hardware platforms. Some systems (like Rumprun) are language-agnostic, and provide a platform for any application code based on the requests it makes of the operating system. Others (like MirageOS and HaLVM) leverage high-level languages and a runtime to provide an API for operating system functionality. Unikernels can run in containers, on hypervisors, and on a wide array of bare-metal hardware.

+

The projects below represent a slice of the variety of solutions available in the unikernel space. They include C++ network-specific high-speed unikernels, purely functional and statically typed bespoke unikernels, a cloud-oriented JavaScript library operating system, and a software which runs existing unmodified POSIX software as a unikernel on bare hardware or hypervisors. Unikernels are running in research labs, in server rooms, and on low-power devices all over the world, many built on the projects here!

+

If your project is missing, please let us know!

+
+
+ +

Image credit: Denis Klyuchnikov from Noun Project

+
+
+
+ + +
+
+
+

ClickOS

+

A high-performance, virtualized software middle box platform based on open source virtualization. Early performance analysis shows that ClickOS VMs are small (5MB), boot quickly (as little as 20 milliseconds), add little delay (45 microseconds) and more than 100 can be concurrently run while saturating a 10Gb pipe on an inexpensive commodity server.

+

cnp.neclab.eu

+
+
+ +
+
+

Clive

+

An operating system designed to work in distributed and cloud computing environments, written in the Go programming language.

+

lsub.org

+
+
+
+ +
+
+
+

Drawbridge

+

A research prototype of a new form of virtualization for application sandboxing. Drawbridge combines two core technologies: a picoprocess, which is a process-based isolation container with a minimal kernel API surface, and a library OS, which is a version of Windows enlightened to run efficiently within a picoprocess.

+

research.microsoft.com

+
+
+ +
+
+

HaLVM

+

A port of the Glasgow Haskell Compiler tool suite that enables developers to write high-level, lightweight VMs that can run directly on the Xen hypervisor.

+

galois.com

+
+
+
+
+
+

HermitCore

+

HermitCore is a novel unikernel operating system targeting a scalable and predictable runtime behavior for HPC and cloud environments. The current version supports C/C++, Fortran, Go, Pthreads, OpenMP and iRCCE as message passing library. The potential of HermitCore is illustrated by a small number of videos.

+

HermitCore Repository

+
+
+
+

IncludeOS

+

A minimal, service oriented, includeable library operating system for cloud services. Currently a research project for running C++ code on virtual hardware.

+

includeos.org

+
+
+ + +
+ +
+ + +
+
+

LING

+

A unikernel based on the Erlang/OTP and understands .beam files. Developers can create code in Erlang and deploy it as LING unikernels. LING removes the majority of vector files, uses only three external libraries and no OpenSSL.

+

erlangonxen.org

+
+
+
+
+

MirageOS

+

A clean-slate library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. There are now almost 100 MirageOS libraries and a growing number of compatible libraries within the wider OCaml ecosystem.

+

mirage.io

+
+
+ +
+
+
+

Nautilus

Nautilus is a unikernel OS framework designed to be paired with a high-performance, parallel runtime system (such as Legion, Charm++, or HPX) to produce a Hybrid Runtime (HRT) in order to boost application performance and reduce replicated functionality in the OS and runtime system. The current version has experimental support for Rust and OpenMP.

+

Nautilus Repository

+
+
+ +
+
+

OSv

+

A new OS designed specifically for cloud VMs from Cloudius Systems. Able to boot in less than a second, OSv is designed from the ground up to execute a single application on top of any hypervisor, resulting in superior performance, speed and effortless management. Support for C, JVM, Ruby and Node.js application stacks is available.

+

osv.io

+
+
+
+ +
+
+
+

Rumprun

+

A software stack which enables running existing unmodified POSIX software as a unikernel. Rumprun supports multiple platforms, including bare hardware and hypervisors such as Xen and KVM. It is based on rump kernels which provide free, portable, componentized, kernel quality drivers such as file systems, POSIX system call handlers, PCI device drivers, a SCSI protocol stack, virtio and a TCP/IP stack.

+

rumpkernel.org

+
+
+ +
+
+

runtime.js

+

An open-source library operating system for the cloud that runs JavaScript, could be bundled up with an application and deployed as a lightweight and immutable VM image. It's built on V8 JavaScript engine and uses event-driven and non-blocking I/O model inspired by Node.js. At the moment KVM is the only supported hypervisor.

+

runtimejs.org

+
+
+
+
+
+
+

UniK

+

UniK (pronounced you-neek) is a tool for simplifying compilation and orchestration of unikernels. Similar to the way Docker builds and orchestrates containers, UniK automates compilation of popular languages (C/C++, Golang, Java, Node.js. Python) into unikernels. UniK deploys unikernels as virtual machines on OpenStack, VirtualBox, QEMU, AWS, vSphere, ukvm, and Xen. UniK incorporates work from the Rumprun, OSv, IncludeOS, and MirageOS projects.

+

UniK Repository

+
+
+ +
+
+
+
-
-
-
-

Nautilus

-

Nautilus is a unikernel OS framework designed to be paired with a high-performance, parallel runtime system (such as Legion, Charm++, or HPX) to produce a Hybrid Runtime (HRT) in order to boost application performance and reduce replicated functionality in the OS and runtime system. The current version has experimental support for Rust and OpenMP. Nautilus can be paired with a general-purpose kernel in a multi-kernel setup using Hybrid Virtual Machines or the Pisces cokernel system. -

-

Nautilus Repository

-
-
- -
-
-
-
-
From f96b00bb9adbe94a64d0379b4c7edd023c1c7616 Mon Sep 17 00:00:00 2001 From: Kyle Hale Date: Fri, 15 Mar 2019 17:02:39 -0500 Subject: [PATCH 3/3] final formatting fix --- projects/index.html | 171 ++++++++++++++++++++++---------------------- 1 file changed, 87 insertions(+), 84 deletions(-) diff --git a/projects/index.html b/projects/index.html index f05f9a8..4a755da 100755 --- a/projects/index.html +++ b/projects/index.html @@ -69,89 +69,92 @@

HaLVM

galois.com

-
-
-
-

HermitCore

-

HermitCore is a novel unikernel operating system targeting a scalable and predictable runtime behavior for HPC and cloud environments. The current version supports C/C++, Fortran, Go, Pthreads, OpenMP and iRCCE as message passing library. The potential of HermitCore is illustrated by a small number of videos.

-

HermitCore Repository

-
-
-
-

IncludeOS

-

A minimal, service oriented, includeable library operating system for cloud services. Currently a research project for running C++ code on virtual hardware.

-

includeos.org

-
-
- - -
- -
- - -
-
-

LING

-

A unikernel based on the Erlang/OTP and understands .beam files. Developers can create code in Erlang and deploy it as LING unikernels. LING removes the majority of vector files, uses only three external libraries and no OpenSSL.

-

erlangonxen.org

-
-
-
-
-

MirageOS

-

A clean-slate library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. There are now almost 100 MirageOS libraries and a growing number of compatible libraries within the wider OCaml ecosystem.

-

mirage.io

-
-
- -
-
-
-

Nautilus

Nautilus is a unikernel OS framework designed to be paired with a high-performance, parallel runtime system (such as Legion, Charm++, or HPX) to produce a Hybrid Runtime (HRT) in order to boost application performance and reduce replicated functionality in the OS and runtime system. The current version has experimental support for Rust and OpenMP.

-

Nautilus Repository

-
-
- -
-
-

OSv

-

A new OS designed specifically for cloud VMs from Cloudius Systems. Able to boot in less than a second, OSv is designed from the ground up to execute a single application on top of any hypervisor, resulting in superior performance, speed and effortless management. Support for C, JVM, Ruby and Node.js application stacks is available.

-

osv.io

-
-
-
- -
-
-
-

Rumprun

-

A software stack which enables running existing unmodified POSIX software as a unikernel. Rumprun supports multiple platforms, including bare hardware and hypervisors such as Xen and KVM. It is based on rump kernels which provide free, portable, componentized, kernel quality drivers such as file systems, POSIX system call handlers, PCI device drivers, a SCSI protocol stack, virtio and a TCP/IP stack.

-

rumpkernel.org

-
-
- -
-
-

runtime.js

-

An open-source library operating system for the cloud that runs JavaScript, could be bundled up with an application and deployed as a lightweight and immutable VM image. It's built on V8 JavaScript engine and uses event-driven and non-blocking I/O model inspired by Node.js. At the moment KVM is the only supported hypervisor.

-

runtimejs.org

-
-
-
-
-
-
-

UniK

-

UniK (pronounced you-neek) is a tool for simplifying compilation and orchestration of unikernels. Similar to the way Docker builds and orchestrates containers, UniK automates compilation of popular languages (C/C++, Golang, Java, Node.js. Python) into unikernels. UniK deploys unikernels as virtual machines on OpenStack, VirtualBox, QEMU, AWS, vSphere, ukvm, and Xen. UniK incorporates work from the Rumprun, OSv, IncludeOS, and MirageOS projects.

-

UniK Repository

-
-
- -
-
-
- - + + +
+
+
+

HermitCore

+

HermitCore is a novel unikernel operating system targeting a scalable and predictable runtime behavior for HPC and cloud environments. The current version supports C/C++, Fortran, Go, Pthreads, OpenMP and iRCCE as message passing library. The potential of HermitCore is illustrated by a small number of videos.

+

HermitCore Repository

+
+
+
+

IncludeOS

+

A minimal, service oriented, includeable library operating system for cloud services. Currently a research project for running C++ code on virtual hardware.

+

includeos.org

+
+
+ + +
+ +
+
+
+

LING

+

A unikernel based on the Erlang/OTP and understands .beam files. Developers can create code in Erlang and deploy it as LING unikernels. LING removes the majority of vector files, uses only three external libraries and no OpenSSL.

+

erlangonxen.org

+
+
+
+
+

MirageOS

+

A clean-slate library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. There are now almost 100 MirageOS libraries and a growing number of compatible libraries within the wider OCaml ecosystem.

+

mirage.io

+
+
+
+ +
+
+
+

Nautilus

Nautilus is a unikernel OS framework designed to be paired with a high-performance, parallel runtime system (such as Legion, Charm++, or HPX) to produce a Hybrid Runtime (HRT) in order to boost application performance and reduce replicated functionality in the OS and runtime system. The current version has experimental support for Rust and OpenMP.

+

Nautilus Repository

+
+
+ +
+
+

OSv

+

A new OS designed specifically for cloud VMs from Cloudius Systems. Able to boot in less than a second, OSv is designed from the ground up to execute a single application on top of any hypervisor, resulting in superior performance, speed and effortless management. Support for C, JVM, Ruby and Node.js application stacks is available.

+

osv.io

+
+
+
+ +
+
+
+

Rumprun

+

A software stack which enables running existing unmodified POSIX software as a unikernel. Rumprun supports multiple platforms, including bare hardware and hypervisors such as Xen and KVM. It is based on rump kernels which provide free, portable, componentized, kernel quality drivers such as file systems, POSIX system call handlers, PCI device drivers, a SCSI protocol stack, virtio and a TCP/IP stack.

+

rumpkernel.org

+
+
+ +
+
+

runtime.js

+

An open-source library operating system for the cloud that runs JavaScript, could be bundled up with an application and deployed as a lightweight and immutable VM image. It's built on V8 JavaScript engine and uses event-driven and non-blocking I/O model inspired by Node.js. At the moment KVM is the only supported hypervisor.

+

runtimejs.org

+
+
+
+ +
+
+
+

UniK

+

UniK (pronounced you-neek) is a tool for simplifying compilation and orchestration of unikernels. Similar to the way Docker builds and orchestrates containers, UniK automates compilation of popular languages (C/C++, Golang, Java, Node.js. Python) into unikernels. UniK deploys unikernels as virtual machines on OpenStack, VirtualBox, QEMU, AWS, vSphere, ukvm, and Xen. UniK incorporates work from the Rumprun, OSv, IncludeOS, and MirageOS projects.

+

UniK Repository

+
+
+ +
+
+
+ + +