gazagnaire.org / unikernels

0

Example mirage-eio unikernels

0

unikernels / bin / network / ipv4-client

6 files

at main

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

unikernels: group examples by domain and complete demos

1 week ago

unikernels: resolve cram tools through package binaries

4 days ago

ipv4-client.gif

unikernels: group examples by domain and complete demos

1 week ago

unikernels: restore native cram coverage Opt local network fixtures into loopback egress now that the native slirp backend preserves the default SSRF denylist. Refresh the TCP compute probes and tm-downlink table transcript to match their current programs.

5 days ago

unikernels: group examples by domain and complete demos

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

README.md

ipv4-client#

ipv4-client unikernel demo

An ICMP echo client using the raw IPv4 protocol demultiplexer rather than a socket. It sends protocol ICMP, receives the matching reply on a listener, and checks the sequence number.

This makes the IPv4 boundary visible: protocol registration, packet delivery, and correlation all live in the application. It is useful for adding a custom IP protocol without pretending it is a TCP or UDP socket.