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