Module Mirage_deviceSource

Abstract devices

This module define the basic functions that a MirageOS device should implement.

Release v1.2.0

Sourcetype error = [
  1. | `Unimplemented
    (*

    operation not yet implemented in the code

    *)
  2. | `Disconnected
    (*

    the device has been previously disconnected

    *)
]

The type for device errors.

Sourceval pp_error : error Fmt.t

pp_error is the pretty-printer for errors.

Sourcemodule type S = sig ... end

Defines the functions to define what is a device state and how to disconnect such a device.