The aim of this project is to create a system to store data in the form of immutable, content addressable blocks that can be used as a backend for the dune-cache-daemon.
The envisioned characteristics are:
unexpected fault address 0x420580 | |
fatal error: fault | |
[signal 0xb code=0x2 addr=0x420580 pc=0x7663ff] | |
goroutine 156126 [running]: | |
runtime.throw(0x1e1c070, 0x5) | |
/usr/local/go/src/runtime/panic.go:547 +0x90 fp=0xc82222fd58 sp=0xc82222fd40 | |
runtime.sigpanic() | |
/usr/local/go/src/runtime/sigpanic_unix.go:27 +0x2ab fp=0xc82222fda8 sp=0xc82222fd58 | |
encoding/json.(*decodeState).scanWhile(0x420568, 0x9, 0xc822372168) |
# Solver: builtin-mccs+glpk | |
# Criteria: -removed,-count[version-lag,request],-count[version-lag,changed],-changed | |
preamble: | |
property: opam-query: int = [0], version-lag: nat = [0], pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
package: fstar | |
version: 3 | |
depends: ocaml >= 34 , ocamlfind , batteries , ocamlbuild , num | |
conflicts: fstar | |
version-lag: 5 |
open Mirage | |
let disk = generic_kv_ro "t" | |
let main = foreign "Unikernel.Main" (kv_ro @-> job) | |
let () = register ~reporter:Mirage.no_reporter "kv_ro" [ main $ disk ] |
This document details the details of the compilation process for MirageOS unikernels. It outlines the steps required to prepare, compile, and manage dependencies for Mirage applications.
Developing a simple application with Mirage involves starting with two primary files:
config.ml
: Contains the configuration of your unikernel.