NAME | FEATURES | DESCRIPTION | ATTRIBUTES
DKI
The microkernel provides cache management services, mainly to allow host bus drivers to manage memory coherency for DMA purposes.
See attributes(5) for descriptions of the following attributes:
ATTRIBUTE TYPE | ATTRIBUTE VALUE |
---|---|
Interface Stability | Evolving |
NAME | FEATURES | DESCRIPTION | ATTRIBUTES