package functoria

  1. Overview
  2. Docs
A DSL to organize functor applications

Install

Dune Dependency

Authors

Maintainers

Sources

mirage-4.0.0.beta2.tbz
sha256=9277a2c00bccd1a54f5495bc45da8c221d10f37da7e8c806d3c31924997dc05f
sha512=b72e6578ff2c707af97c292df5915a3e0a1d4870c2c464f4162c17f5cf110e077b6fc0e871b862594f4978f5085b465d79f4423dd45c0d4df0b0eb84063d0645

Description

Functoria is a DSL to describe a set of modules and functors, their types and how to apply them in order to produce a complete application.

The main use case is mirage. See the mirage repository for details.

Tags

org:mirage

Published: 31 Jan 2022

README

MirageOS

MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a traditional OS such as Linux or MacOS X, and then compiled into a fully-standalone, specialised unikernel that runs under the Xen or KVM hypervisors as well as lightweight hypervisors like FreeBSD's BHyve, OpenBSD's VMM. Xen and KVM power many public clouds; MirageOS unikernels are currently running on Amazon's Elastic Compute Cloud and Google Compute Engine, and maybe others!

The most up-to-date documentation can be found at the homepage. The site is a Xen hosted unikernel. Simpler skeleton applications are also available online.

This repository

This repository includes:

  • a command-line tool to create and deploy applications with MirageOS; and

  • in types/, a library of type signatures that compliant applications use.

There are several diverse backends in MirageOS that require rather specialised build steps (from Xen to KVM unikernels), and this complexity is wrapped up in the tool.

To work with mirage, you'll need to either install prerequisites locally.

Local install

You will need the following:

  • a working OCaml compiler (4.05.0 or higher).

  • the OPAM source package manager (2.0.0 or higher).

  • an x86_64 or armel Linux host to compile Xen kernels, or FreeBSD, OpenBSD or MacOS X for the solo5 and userlevel versions.

Using mirage

There are two stages to using mirage:

  • a configure phase where necessary code is generated and dependencies are determined.

  • an optional depends phase where OPAM package dependencies are satisfied.

  • a build phase where the compiler and any support scripts are run.

You can find documentation, walkthroughs and tutorials over on the MirageOS website. The install instructions are a good place to begin!

Dependencies (13)

  1. uri >= "4.2.0"
  2. emile >= "1.1"
  3. fpath
  4. bos
  5. logs
  6. fmt >= "0.8.7"
  7. astring
  8. result >= "1.5"
  9. rresult >= "0.7.0"
  10. cmdliner >= "0.9.8" & < "1.1.0"
  11. base-unix
  12. dune >= "2.8.0"
  13. ocaml >= "4.08.0"

Dev Dependencies (3)

  1. functoria-runtime = version & with-test
  2. alcotest with-test
  3. dune < "3.0.0" & with-test

Used by (1)

  1. mirage = "4.0.0~beta2"

Conflicts

None

OCaml

Innovation. Community. Security.