gazagnaire.org / unikernels

0

Example mirage-eio unikernels

0

unikernels / bin / storage / etcd

1 folder 7 files

at main

Thomas Gazagnaire unikernels: resolve cram tools through package binaries 4d ago

unikernels: group stored services under storage Move the Git client/server and etcd examples beside the storage devices they demonstrate. Update the generated-Dune registry and catalogue paths without changing their installed command names.

1 week ago

unikernels: group stored services under storage Move the Git client/server and etcd examples beside the storage devices they demonstrate. Update the generated-Dune registry and catalogue paths without changing their installed command names.

1 week ago

unikernels: resolve cram tools through package binaries

4 days ago

unikernels: group stored services under storage Move the Git client/server and etcd examples beside the storage devices they demonstrate. Update the generated-Dune registry and catalogue paths without changing their installed command names.

1 week ago

unikernels: group stored services under storage Move the Git client/server and etcd examples beside the storage devices they demonstrate. Update the generated-Dune registry and catalogue paths without changing their installed command names.

1 week ago

unikernels: resolve cram tools through package binaries

4 days ago

mirage: make base capabilities explicit The backend-neutral device description should not live under Eio or expose a Solo5-shaped ABI. Model runtime resources as optional singleton devices and pass normalized runtime metadata to applications, allowing each backend to project the capabilities it needs.

1 week ago

unikernels: group stored services under storage Move the Git client/server and etcd examples beside the storage devices they demonstrate. Update the generated-Dune registry and catalogue paths without changing their installed command names.

1 week ago

README.md

etcd#

This unikernel serves a single-node in-memory etcd KV API over gRPC. It uses the repo's etcd-server and nox-grpc-eio libraries over the guest's TCP stack.

etcd unikernel demo

Run Natively#

dune exec -- unikernel-etcd -p 2379:2379
ETCDCTL_API=3 etcdctl --endpoints=http://127.0.0.1:2379 put /demo/message hello
ETCDCTL_API=3 etcdctl --endpoints=http://127.0.0.1:2379 get /demo/message

Run As A Solo5 Unikernel#

solo5 up
dune build -x solo5 \
  unikernels/bin/storage/etcd/unikernel.hvt
solo5-hvt --net:service=tap0 -- \
  _build/default.solo5/unikernels/bin/storage/etcd/unikernel.hvt