gazagnaire.org / unikernels

0

Example mirage-eio unikernels

0

unikernels / bin / introspect / pstree

1 folder 7 files

at fcbf6889751f1e04c4a35e34b90f45796de7f1f4

Thomas Gazagnaire unikernels: make pstree cram reflect live connections 10d ago

unikernels: rename examples/ to bin/ These are runnable unikernel executables, so bin/ is the clearer home. The gen/ cross-build arms are included by relative path and are unaffected; the vhs GIF aliases, README links, dune-project comment, and the mrg registry invocation are updated to the new path.

1 week ago

unikernels: modernize the demos for the current API and package names Each demo composes its devices with Mirage_eio.(run [...]) over the block/dir device leaves, and its run instructions invoke the unikernel-<name> package rather than a dune-path .exe. Client and server partner cross-references follow the network/ layout.

1 week ago

unikernels: make GIF regeneration buildable Each recording rule produces one GIF, so declare it with Dune's singular target field. This makes the enabled REGEN path compatible with the singular target variable used by vhs-cram.

1 week ago

unikernels: rename examples/ to bin/ These are runnable unikernel executables, so bin/ is the clearer home. The gen/ cross-build arms are included by relative path and are unaffected; the vhs GIF aliases, README links, dune-project comment, and the mrg registry invocation are updated to the new path.

1 week ago

unikernels: make pstree cram reflect live connections Start the SSH, SQL, and gRPC clients in readiness order so their ephemeral ports are deterministic. After SQL closes, assert that CLOSED has been pruned from the live TCP table.

1 week ago

unikernels: make pstree cram reflect live connections Start the SSH, SQL, and gRPC clients in readiness order so their ephemeral ports are deterministic. After SQL closes, assert that CLOSED has been pruned from the live TCP table.

1 week 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: rename examples/ to bin/ These are runnable unikernel executables, so bin/ is the clearer home. The gen/ cross-build arms are included by relative path and are unaffected; the vhs GIF aliases, README links, dune-project comment, and the mrg registry invocation are updated to the new path.

1 week ago

README.md

pstree#

This unikernel renders a live tree of its own TCP connections. The demo keeps several TCP sessions open and annotates each connection with the application layer that accepted it.

pstree unikernel demo

Run Natively#

dune exec -- unikernel-pstree \
  -p 7001:7001 -p 7002:7002 -p 7003:7003

Open a few clients in other terminals:

nc 127.0.0.1 7001
nc 127.0.0.1 7002
nc 127.0.0.1 7003