Ruslan Bukin 951e058411 o Add support for BERI IOMMU device ... o Add an experimental IOMMU support to xDMA framework The BERI IOMMU device is the part of CHERI device-model project [1]. It translates memory addresses for various BERI peripherals modelled in software. It accepts FreeBSD/mips64 page directories format and manages BERI TLB. 1. https://github.com/CTSRD-CHERI/device-model Sponsored by: DARPA, AFRL		2019-07-22 16:01:20 +00:00
..
atse
avgen
jtag_uart
msgdma	o Add support for BERI IOMMU device	2019-07-22 16:01:20 +00:00
pio
sdcard
softdma	Negate the logic of XCHAN_CAP_NOBUFS macro and rename it to	2019-07-04 14:04:08 +00:00