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	o Rewrite softdma_process_tx() of Altera SoftDMA engine driver	2019-04-29 16:27:15 +00:00
avgen	Fix off-by-one (page) errors in checks in d_mmap methods of several drivers.	2018-12-02 18:30:58 +00:00
jtag_uart	sys/dev: further adoption of SPDX licensing ID tags.	2017-11-27 14:52:40 +00:00
msgdma	o Add support for BERI IOMMU device	2019-07-22 16:01:20 +00:00
pio
sdcard	sys/dev: further adoption of SPDX licensing ID tags.	2017-11-27 14:52:40 +00:00
softdma	Negate the logic of XCHAN_CAP_NOBUFS macro and rename it to	2019-07-04 14:04:08 +00:00