Library
Module
Module type
Parameter
Class
Class type
Device enumeration and filtering.
type filter =
| Subsystem of string
(*
*)Subsystem subsystem
matches devices that are part ofsubsystem
.| NoSubsystem of string
(*
*)NoSubsystem subsystem
matches devices that are not part ofsubsystem
.| Sysattr of string * string
(*
*)Sysattr (attribute, value)
matches devices whoseattribute
has the givenvalue
.| NoSysattr of string * string
(*
*)Sysattr (attribute, value)
matches devices whoseattribute
doesn't have the givenvalue
. Devices that do not haveattribute
at all are also included.| Property of string * string
(*
*)Property (prop, value)
matches devices whoseprop
has the givenvalue
.| Sysname of string
(*
*)Sysname name
matches devices with the givenname
.| Tag of string
(*
*)Tag tag
matches devices which have the giventag
attached.| Parent of Device.t
(*
*)Parent parent
matches devices on the subtree of the givenparent
device.| Is_initialized
(*Is_initialized
matches devices which are initialized.Initialized devices have properly set device node permissions and context, and are (in case of network devices) fully renamed.
Currently this will not affect devices which do not have device dones and are not network interfaces.
*)
The devices enumerated using Enumerate.devices
and Enumerate.subsystems
can be filtered, specifying a list of filter
values.
List the devices matching the given filter list.