Module Mirage_types

MirageOS Signatures.

This module defines the basic signatures that functor parameters should implement in MirageOS to be portable.

General conventions

Release v3.5.0

module type DEVICE = Mirage_device.S

Time and clock devices

module type TIME = Mirage_time.S
module type RANDOM = Mirage_random.S

Connection between endpoints

module type FLOW = Mirage_flow.S

Console

Sector-addressible block devices

module type BLOCK = Mirage_block.S
module type NETWORK = Mirage_net.S
module type ETHERNET = Mirage_protocols.ETHERNET
module type IP = Mirage_protocols.IP
module type ARP = Mirage_protocols.ARP
module type IPV4 = Mirage_protocols.IPV4
module type IPV6 = Mirage_protocols.IPV6
module type ICMP = Mirage_protocols.ICMP
module type UDP = Mirage_protocols.UDP
module type TCP = Mirage_protocols.TCP
module type STACKV4 = Mirage_stack.V4
module type CHANNEL = Mirage_channel.S

Static Key/value store

module type KV_RO = Mirage_kv.RO
module type KV_RW = Mirage_kv.RW

Filesystem devices

module type FS = Mirage_fs.S